Module get_mir

Various utilities to load MIR. Allow to easily load the MIR code generated by a specific pass.

Functions

get_mir_for_def_id_and_level 🔒

Query the MIR for a function at a specific level. Return None in the case of a foreign body with no MIR available.