bors 2efa46dc15 Auto merge of #114080 - compiler-errors:negative, r=spastorino ... Don't treat negative trait predicates as always knowable We don't need this. It was added in #90104 but I don't really know why. It's not sound afaict -- negative trait predicates need the same coherence-ambiguity/orphan check rules as positive ones. r? `@lcnr` cc `@spastorino,` do you remember why?		2023-07-27 07:29:00 +00:00
..
solve	Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr	2023-07-25 23:34:07 +02:00
traits	Don't treat negative trait predicates as always knowable	2023-07-26 01:35:51 +00:00
errors.rs	convert to fluent, make plurals work	2023-06-28 18:08:21 +00:00
infer.rs	allow opaques to be defined by trait queries	2023-07-14 12:35:33 +00:00
lib.rs	remove hash_drain_filter feature uses	2023-06-14 09:28:56 +02:00