From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- .../issue-50865-private-impl-trait/auxiliary/lib.rs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 src/test/ui/issues/issue-50865-private-impl-trait/auxiliary/lib.rs (limited to 'src/test/ui/issues/issue-50865-private-impl-trait/auxiliary/lib.rs') diff --git a/src/test/ui/issues/issue-50865-private-impl-trait/auxiliary/lib.rs b/src/test/ui/issues/issue-50865-private-impl-trait/auxiliary/lib.rs new file mode 100644 index 000000000..1e20a5460 --- /dev/null +++ b/src/test/ui/issues/issue-50865-private-impl-trait/auxiliary/lib.rs @@ -0,0 +1,18 @@ +// revisions: default miropt +//[miropt]compile-flags: -Z mir-opt-level=3 +// ~^ This flag is for #77668, it used to be ICE. + +#![crate_type = "lib"] + +pub fn bar

( // Error won't happen if "bar" is not generic + _baz: P, +) { + hide_foo()(); +} + +fn hide_foo() -> impl Fn() { // Error won't happen if "iterate" hasn't impl Trait or has generics + foo +} + +fn foo() { // Error won't happen if "foo" isn't used in "iterate" or has generics +} -- cgit v1.2.3