Files
rust/tests/ui
bors 4c6c629866 Auto merge of #115538 - lcnr:fn-def-wf, r=compiler-errors
check `FnDef` return type for WF

better version of #106807, fixes #84533 (mostly). It's not perfect given that we still ignore WF requirements involving bound regions but I wasn't able to quickly write an example, so even if theoretically exploitable, it should be far harder to trigger.

This is strictly more restrictive than checking the return type for WF as part of the builtin `FnDef: FnOnce` impl (#106807) and moving to this approach in the future will not break any code.

~~It also agrees with my theoretical view of how this should behave~~

r? types
2024-04-04 08:43:53 +00:00
..
2024-04-03 08:50:12 +00:00
2024-03-31 14:58:17 -03:00
2024-03-23 12:38:50 +01:00
2024-03-28 06:00:25 +00:00
2024-04-04 01:55:29 +01:00
2024-04-03 22:48:55 +01:00
2024-03-31 14:58:17 -03:00
2024-03-31 14:58:17 -03:00
2024-03-27 11:20:28 -04:00
2024-03-24 10:05:27 +01:00
2024-03-24 09:19:29 +01:00
2024-04-04 02:14:57 +01:00
2024-03-23 16:14:42 +01:00
2024-03-31 14:58:17 -03:00
2024-03-27 09:53:23 -04:00
2024-03-31 21:03:59 -04:00
2024-04-04 02:14:57 +01:00

UI Tests

This folder contains rustc's UI tests.

Test Directives (Headers)

Typically, a UI test will have some test directives / headers which are special comments that tell compiletest how to build and intepret a test.

As part of an on-going effort to rewrite compiletest (see https://github.com/rust-lang/compiler-team/issues/536), a major change proposal to change legacy compiletest-style headers // <directive> to ui_test-style headers //@ <directive> was accepted (see https://github.com/rust-lang/compiler-team/issues/512.

An example directive is ignore-test. In legacy compiletest style, the header would be written as

// ignore-test

but in ui_test style, the header would be written as

//@ ignore-test

compiletest is changed to accept only //@ directives for UI tests (currently), and will reject and report an error if it encounters any comments // <content> that may be parsed as an legacy compiletest-style test header. To fix this, you should migrate to the ui_test-style header //@ <content>.