+
+ #[inline]
+ pub fn optimized_mir_of_opt_const_arg(
+ self,
+ def: ty::WithOptConstParam<DefId>,
+ ) -> &'tcx Body<'tcx> {
+ if let Some((did, param_did)) = def.as_const_arg() {
+ self.optimized_mir_of_const_arg((did, param_did))
+ } else {
+ self.optimized_mir(def.did)
+ }
+ }
+
+ #[inline]
+ pub fn mir_abstract_const_of_opt_const_arg(
+ self,
+ def: ty::WithOptConstParam<DefId>,
+ ) -> Result<Option<&'tcx [abstract_const::Node<'tcx>]>, ErrorReported> {
+ if let Some((did, param_did)) = def.as_const_arg() {
+ self.mir_abstract_const_of_const_arg((did, param_did))
+ } else {
+ self.mir_abstract_const(def.did)
+ }
+ }