call.rs find_mir_or_eval_fn and noncapturing-closure source predicates. Exact full-instance evidence supplies compiler symbol spelling; neither source definition paths nor debug displays substitute for tcx.symbol_name(instance).

def Miri.Input.CompilerCallFacts.isForeignItem (p : CompilerIntrinsicFacts.Prepared) (callee : Interpreter.CallInstance) : Except String Bool

Equations

• Miri.Input.CompilerCallFacts.isForeignItem p callee = do let __do_lift ← Miri.Input.CompilerCallFacts.entry✝ p callee let __do_lift ← __do_lift.getObjVal? "is_foreign_item" __do_lift.getBool?

def Miri.Input.CompilerCallFacts.isClosureLike (p : CompilerIntrinsicFacts.Prepared) (callee : Interpreter.CallInstance) : Except String Bool

Equations

• Miri.Input.CompilerCallFacts.isClosureLike p callee = do let __do_lift ← Miri.Input.CompilerCallFacts.entry✝ p callee let __do_lift ← __do_lift.getObjVal? "is_closure_like" __do_lift.getBool?

def Miri.Input.CompilerCallFacts.symbolName (p : CompilerIntrinsicFacts.Prepared) (callee : Interpreter.CallInstance) : Except String String

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerCallFacts.codegenSymbolName (p : CompilerIntrinsicFacts.Prepared) (callee : Interpreter.CallInstance) : Except String (Option String)

LLVM source dispatch reads codegen attributes, not mangled symbol_name.

Equations

• One or more equations did not get rendered due to their size.