rust/tests/ui/static/issue-5216.rs

fn f() { }
struct S(Box<dyn FnMut() + Sync>);
pub static C: S = S(f); //~ ERROR mismatched types


fn g() { }
type T = Box<dyn FnMut() + Sync>;
pub static D: T = g; //~ ERROR mismatched types

fn main() {}
testsuite: Test cases, all except issue-5216 xfailed 2013-10-23 04:04:15 +00:00			`fn f() { }`
Perform Sync check on static items in wf-check instead of during const checks 2021-11-26 14:11:45 +00:00			`struct S(Box<dyn FnMut() + Sync>);`
Implement the rules for RFC 599, and add various tests. Fixes #22211. 2015-02-12 14:37:52 +00:00			`pub static C: S = S(f); //~ ERROR mismatched types`
testsuite: Test cases, all except issue-5216 xfailed 2013-10-23 04:04:15 +00:00

			`fn g() { }`
Perform Sync check on static items in wf-check instead of during const checks 2021-11-26 14:11:45 +00:00			`type T = Box<dyn FnMut() + Sync>;`
Implement the rules for RFC 599, and add various tests. Fixes #22211. 2015-02-12 14:37:52 +00:00			`pub static D: T = g; //~ ERROR mismatched types`
testsuite: Test cases, all except issue-5216 xfailed 2013-10-23 04:04:15 +00:00
			`fn main() {}`