miri::helpers

Function try_resolve_path

Source
pub fn try_resolve_path<'tcx>(
    tcx: TyCtxt<'tcx>,
    path: &[&str],
    namespace: Namespace,
) -> Option<Instance<'tcx>>
Expand description

Gets an instance for a path; fails gracefully if the path does not exist.