1 // Copyright 2015 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.
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.
11 //aux-build:default_ty_param_cross_crate_crate.rs
13 #![feature(default_type_parameter_fallback)]
15 extern crate default_param_test;
17 use default_param_test::{Foo, bleh};
19 fn meh<X, B=bool>(x: Foo<X, B>) {}
20 //~^ NOTE: a default was defined here...
24 //~^ NOTE: ...that also applies to the same type variable here
27 //~^ ERROR: mismatched types
28 //~| NOTE: conflicting type parameter defaults `bool` and `char`
29 //~| NOTE: conflicting type parameter defaults `bool` and `char`
30 //~| a second default is defined on `default_param_test::bleh`
31 //~| NOTE: ...that was applied to an unconstrained type variable here
32 //~| expected type `bool`
33 //~| found type `char`