]> git.lizzy.rs Git - rust.git/blob - src/test/compile-fail/type-path-err-node-types.rs
Record semantic types for all syntactic types in bodies
[rust.git] / src / test / compile-fail / type-path-err-node-types.rs
1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 // Type arguments of unresolved types should have their types recorded
12
13 fn main() {
14     let _: Nonexistent<u8, Assoc = u16>; //~ ERROR cannot find type `Nonexistent` in this scope
15
16     let _ = |a, b: _| -> _ { 0 };
17 }