Function assert_resolved

pub fn assert_resolved<'tcx>(
    rvalue: &impl TypeVisitable<TyCtxt<'tcx>>,
    msg: impl Fn() -> String,
)