Function const_arg_has_type_obligation 

fn const_arg_has_type_obligation<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    normalized_term: Term<'tcx>,
    goal: AliasTerm<'tcx>,
) -> Option<PredicateObligation<'tcx>>

If normalized_term is a const, returns a ConstArgHasType obligation to verify that the const value’s type matches the alias’s declared type. Returns None if the term is a type rather than a const.