pub(crate) fn mir_const_qualif(
tcx: TyCtxt<'_>,
def: WithOptConstParam<LocalDefId>
) -> ConstQualifs