From 85b585daaf735deda96c6e087e2a3f203c64d52d Mon Sep 17 00:00:00 2001 From: Mazdak Farrokhzad Date: Fri, 28 Feb 2020 07:58:37 +0100 Subject: late resolve, visit_fn: bail early if there's no body. --- src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs | 6 ++++++ src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr | 9 +++++++++ 2 files changed, 15 insertions(+) create mode 100644 src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs create mode 100644 src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr (limited to 'src/test/ui/resolve') diff --git a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs new file mode 100644 index 00000000000..4397baea4a9 --- /dev/null +++ b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs @@ -0,0 +1,6 @@ +fn main() {} + +trait Foo { + fn fn_with_type_named_same_as_local_in_param(b: b); + //~^ ERROR cannot find type `b` in this scope +} diff --git a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr new file mode 100644 index 00000000000..109409d2731 --- /dev/null +++ b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr @@ -0,0 +1,9 @@ +error[E0412]: cannot find type `b` in this scope + --> $DIR/issue-69401-trait-fn-no-body-ty-local.rs:4:53 + | +LL | fn fn_with_type_named_same_as_local_in_param(b: b); + | ^ not found in this scope + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0412`. -- cgit 1.4.1-3-g733a5