Function miri::helpers::try_resolve_did

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

Gets an instance for a path.

A None namespace indicates we are looking for a module.