Function cranelift_codegen_meta::gen_legalizer::emit_runtime_typecheck

fn emit_runtime_typecheck<'a>(
    constraint: &'a Constraint, 
    type_sets: &mut UniqueTable<'a, TypeSet>, 
    fmt: &mut Formatter
)

Emit rust code for the given check.

The emitted code is a statement redefining the predicate variable like this: let predicate = predicate && ...