Manish Goregaokar 53eab246db Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr ...

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases

r? ````@lcnr````

fixes #99840

2022-11-22 22:54:38 -05:00

..

astconv

Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgr

2022-11-21 15:22:54 +00:00

check

Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr

2022-11-22 22:54:38 -05:00

coherence

Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr

2022-11-22 22:54:38 -05:00

collect

Auto merge of #103491 - cjgillot:self-rpit, r=oli-obk

2022-11-21 12:17:03 +00:00

impl_wf_check

Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

2022-11-21 16:35:04 +00:00

outlives

Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

2022-11-21 16:35:04 +00:00

structured_errors

Fix substraction with overflow in wrong_number_of_generic_args.rs

2022-11-19 18:53:36 +01:00

variance

Unreserve braced enum variants in value namespace

2022-11-21 22:40:06 +03:00

bounds.rs

Stop passing the self-type as a separate argument.

2022-11-21 20:39:46 +00:00

check_unused.rs

Rollup merge of #103618 - nnethercote:rename-OwnerId-fields, r=compiler-errors

2022-10-29 14:18:03 +02:00

collect.rs

Unreserve braced enum variants in value namespace

2022-11-21 22:40:06 +03:00

constrained_generic_params.rs

Fix compiler docs

2022-10-10 18:28:29 +02:00

errors.rs

Rollup merge of #103575 - Xiretza:suggestions-style-attr, r=davidtwco

2022-11-01 20:00:38 -04:00

hir_wf_check.rs

Convert predicates into Predicate in the Obligation constructor

2022-11-16 09:25:19 +00:00

impl_wf_check.rs

Rename some OwnerId fields.

2022-10-29 20:28:38 +11:00

lib.rs

Move fallback_has_occurred to FnCtxt

2022-11-06 02:40:25 +00:00

structured_errors.rs

…