Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

maximal_hir_to_mir_coverage

save as much information as possible about the correspondence between MIR and HIR as source scopes (default: no)

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.