Skip to content
Snippets Groups Projects
Commit a101b7d2 authored by dtc's avatar dtc
Browse files

When a type check is weakened and the proven type becomes a subtype of

this weakened type then it's always True so ensure that it is
flushed. This is particularly helpful in numerical code at
intermediate safety levels.
parent 40f63ef5
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment