Function miri::helpers::try_resolve_did

source ·
fn try_resolve_did<'tcx>(tcx: TyCtxt<'tcx>, path: &[&str]) -> Option<DefId>
Expand description

Gets an instance for a path.