Function check_type_const 

pub(super) fn check_type_const<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    def_id: LocalDefId,
    item_ty: Ty<'tcx>,
    has_value: bool,
) -> Result<(), ErrorGuaranteed>