Function miri::helpers::try_resolve_did

source ยท 
fn try_resolve_did(
    tcx: TyCtxt<'_>,
    path: &[&str],
    namespace: Option<Namespace>,
) -> Option<DefId>
Expand description

Gets an instance for a path.

A None namespace indicates we are looking for a module.