Function check_const_item 

pub(super) fn check_const_item<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    def_id: LocalDefId,
    item_ty: Ty<'tcx>,
)

Runs checks common to both free consts and associated consts