granite-rust/tests/ui/occurs-check.rs

fn main() {

    let f;

    f = Box::new(f);
    //~^ ERROR mismatched types
    //~| cyclic type of infinite size
}
Implement new inference algorithm. 2012-03-22 20:06:01 -07:00			`fn main() {`
Remove box syntax from most places in src/test outside of the issues dir 2021-08-25 02:39:40 +02:00
Avoid ever constructing cyclic types in the first place, rather than detecting them in resolve. This simplifies logic elsewhere in the compiler. cc #5527 2014-09-09 17:45:51 -04:00			`let f;`
Remove box syntax from most places in src/test outside of the issues dir 2021-08-25 02:39:40 +02:00
			`f = Box::new(f);`
Fix testsuite errors 2015-01-12 01:01:44 -05:00			`//~^ ERROR mismatched types`
			`//~\| cyclic type of infinite size`
Implement new inference algorithm. 2012-03-22 20:06:01 -07:00			`}`