diff options
| author | Ryan Mehri <ryan.mehri1@gmail.com> | 2023-10-20 11:11:50 -0700 |
|---|---|---|
| committer | Ryan Mehri <ryan.mehri1@gmail.com> | 2023-10-25 15:22:01 -0700 |
| commit | 76faae9cdcf0d37884809ab0d21689fbc7598b98 (patch) | |
| tree | 984945ed2233ed1bf32a6327a298c399c074062a | |
| parent | 9b3f5e15277a2089140db89704277a682374efba (diff) | |
| download | rust-76faae9cdcf0d37884809ab0d21689fbc7598b98.tar.gz rust-76faae9cdcf0d37884809ab0d21689fbc7598b98.zip | |
FileCheck dyn_trait
| -rw-r--r-- | tests/mir-opt/inline/dyn_trait.rs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tests/mir-opt/inline/dyn_trait.rs b/tests/mir-opt/inline/dyn_trait.rs index 7b41b1e1171..005cf155fdb 100644 --- a/tests/mir-opt/inline/dyn_trait.rs +++ b/tests/mir-opt/inline/dyn_trait.rs @@ -1,4 +1,3 @@ -// skip-filecheck // EMIT_MIR_FOR_EACH_PANIC_STRATEGY #![crate_type = "lib"] @@ -20,18 +19,26 @@ pub trait Query { // EMIT_MIR dyn_trait.mk_cycle.Inline.diff #[inline(always)] pub fn mk_cycle<V: Debug>(c: &dyn Cache<V = V>) { + // CHECK-LABEL: fn mk_cycle( + // CHECK-NOT: (inlined <dyn Cache<V = V> as Cache>::store_nocache) c.store_nocache() } // EMIT_MIR dyn_trait.try_execute_query.Inline.diff #[inline(always)] pub fn try_execute_query<C: Cache>(c: &C) { + // CHECK-LABEL: fn try_execute_query( + // CHECK: (inlined mk_cycle::<<C as Cache>::V>) mk_cycle(c) } // EMIT_MIR dyn_trait.get_query.Inline.diff #[inline(always)] pub fn get_query<Q: Query, T>(t: &T) { + // CHECK-LABEL: fn get_query( + // CHECK-NOT: (inlined <Q as Query>::cache::<T>) let c = Q::cache(t); + // CHECK: (inlined try_execute_query::<<Q as Query>::C>) + // CHECK: (inlined mk_cycle::<<Q as Query>::V>) try_execute_query(c) } |