Function rustc_mir::transform::qualify_min_const_fn::check_ty

fn check_ty<'tcx>(
    tcx: TyCtxt<'tcx>, 
    ty: Ty<'tcx>, 
    span: Span, 
    fn_def_id: DefId
) -> Result<(), (Span, Cow<'static, str>)>