diff options
Diffstat (limited to 'src/test/ui/mir/mir-inlining/no-trait-method-issue-40473.rs')
-rw-r--r-- | src/test/ui/mir/mir-inlining/no-trait-method-issue-40473.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/mir/mir-inlining/no-trait-method-issue-40473.rs b/src/test/ui/mir/mir-inlining/no-trait-method-issue-40473.rs new file mode 100644 index 000000000..8b3cb703d --- /dev/null +++ b/src/test/ui/mir/mir-inlining/no-trait-method-issue-40473.rs @@ -0,0 +1,16 @@ +// run-pass +// compile-flags:-Zmir-opt-level=3 +pub trait Foo { + fn bar(&self) -> usize { 2 } +} + +impl Foo for () { + fn bar(&self) -> usize { 3 } +} + +// Test a case where MIR would inline the default trait method +// instead of bailing out. Issue #40473. +fn main() { + let result = ().bar(); + assert_eq!(result, 3); +} |