Inline {args,consts}_may_unify.

nnethercote · nnethercote · commit e0fd8ddbc03b · 2024-05-02T17:44:11.000+10:00
This speeds up compilation of `bitmaps-3.1.0` and `typenum-1.17.0`.
diff --git a/compiler/rustc_middle/src/ty/fast_reject.rs b/compiler/rustc_middle/src/ty/fast_reject.rs
@@ -167,6 +167,7 @@ pub struct DeepRejectCtxt {
 }
 
 impl DeepRejectCtxt {
+    #[inline]
     pub fn args_may_unify<'tcx>(
         self,
         obligation_args: GenericArgsRef<'tcx>,
@@ -329,6 +330,7 @@ impl DeepRejectCtxt {
         }
     }
 
+    #[inline(always)]
     pub fn consts_may_unify(self, obligation_ct: ty::Const<'_>, impl_ct: ty::Const<'_>) -> bool {
         let k = impl_ct.kind();
         let impl_val = match k {

Original file line number	Diff line number	Diff line change
`@@ -167,6 +167,7 @@ pub struct DeepRejectCtxt {`
`167`	`167`	`}`
`168`	`168`
`169`	`169`	`impl DeepRejectCtxt {`
	`170`	`+ #[inline]`
`170`	`171`	`pub fn args_may_unify<'tcx>(`
`171`	`172`	`self,`
`172`	`173`	`obligation_args: GenericArgsRef<'tcx>,`
`@@ -329,6 +330,7 @@ impl DeepRejectCtxt {`
`329`	`330`	`}`
`330`	`331`	`}`
`331`	`332`
	`333`	`+ #[inline(always)]`
`332`	`334`	`pub fn consts_may_unify(self, obligation_ct: ty::Const<'_>, impl_ct: ty::Const<'_>) -> bool {`
`333`	`335`	`let k = impl_ct.kind();`
`334`	`336`	`let impl_val = match k {`