[rustc.git] / src / test / ui / map-types.rs

#![feature(box_syntax)]

use std::collections::HashMap;

trait Map<K, V>
{
    fn get(&self, k: K) -> V { panic!() }
}

impl<K, V> Map<K, V> for HashMap<K, V> {}

// Test that trait types printed in error msgs include the type arguments.

fn main() {
    let x: Box<HashMap<isize, isize>> = box HashMap::new();
    let x: Box<dyn Map<isize, isize>> = x;
    let y: Box<dyn Map<usize, isize>> = Box::new(x);
    //~^ ERROR `Box<dyn Map<isize, isize>>: Map<usize, isize>` is not satisfied
}
Commit	Line	Data
1a4d82fc JJ	1	#![feature(box_syntax)]
1a4d82fc JJ	2
1a4d82fc JJ	3	use std::collections::HashMap;
1a4d82fc JJ	4
85aaf69f SL	5	trait Map<K, V>
	6	{
	7	fn get(&self, k: K) -> V { panic!() }
	8	}
1a4d82fc JJ	9
1a4d82fc JJ	10	impl<K, V> Map<K, V> for HashMap<K, V> {}
223e47cc LB	11
	12	// Test that trait types printed in error msgs include the type arguments.
	13
	14	fn main() {
1a4d82fc	15	let x: Box<HashMap<isize, isize>> = box HashMap::new();
dc9dc135 XL	16	let x: Box<dyn Map<isize, isize>> = x;
dc9dc135 XL	17	let y: Box<dyn Map<usize, isize>> = Box::new(x);
1b1a35ee	18	//~^ ERROR `Box<dyn Map<isize, isize>>: Map<usize, isize>` is not satisfied
223e47cc	19	}