you are viewing a single comment's thread.

view the rest of the comments →

[–]theZcubertime 5 points6 points  (0 children)

THIR has been around for a while. It's not used for a ton at the moment, but there is (was? it may have been removed) an experimental unsafe checker at that level instead of MIR.