bors d4096e0412 Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors ...

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

r? `@lcnr` `@compiler-errors`

This implements the lang team decision from [the TAIT design meeting](https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/design.20meeting.202023-05-31.20TAITs/near/362518164).

2023-07-08 03:22:54 +00:00

..

src

Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors

2023-07-08 03:22:54 +00:00

Cargo.toml

use deeply_normalize for assumed_wf_types

2023-07-03 09:12:14 +02:00

messages.ftl

Ensure Fluent messages are in alphabetical order

2023-05-25 23:49:35 +00:00