rust/tests/ui/wf/wf-trait-superbound.rs

// Test that we check supertrait bounds for WFedness.

#![feature(associated_type_defaults)]
#![feature(rustc_attrs)]
#![allow(dead_code)]

trait ExtraCopy<T:Copy> { }

trait SomeTrait<T>: ExtraCopy<T> { //~ ERROR E0277
}

fn main() { }
New tests --- check that wf relation is being checked in various positions 2015-08-07 17:31:42 +00:00			`// Test that we check supertrait bounds for WFedness.`

			`#![feature(associated_type_defaults)]`
			`#![feature(rustc_attrs)]`
			`#![allow(dead_code)]`

			`trait ExtraCopy<T:Copy> { }`

Make RFC 1214 warnings into errors, and rip out the "warn or err" associated machinery. Future such attempts should go through lints anyhow. There is a fair amount of fallout in the compile-fail tests, as WF checking now occurs earlier in the process. 2015-12-15 09:31:58 +00:00			`trait SomeTrait<T>: ExtraCopy<T> { //~ ERROR E0277`
New tests --- check that wf relation is being checked in various positions 2015-08-07 17:31:42 +00:00			`}`

Make RFC 1214 warnings into errors, and rip out the "warn or err" associated machinery. Future such attempts should go through lints anyhow. There is a fair amount of fallout in the compile-fail tests, as WF checking now occurs earlier in the process. 2015-12-15 09:31:58 +00:00			`fn main() { }`