Function push_const_arg_has_type_obligation 

fn push_const_arg_has_type_obligation<'tcx>(
    tcx: TyCtxt<'tcx>,
    obligations: &mut PredicateObligations<'tcx>,
    cause: &ObligationCause<'tcx>,
    depth: usize,
    param_env: ParamEnv<'tcx>,
    term: Term<'tcx>,
    def_id: DefId,
    args: GenericArgsRef<'tcx>,
)

When normalizing a const alias, register a ConstArgHasType obligation to ensure the const value’s type matches the declared type.