Matthias Krüger 588d389dc5 Rollup merge of #95039 - spastorino:overlap-super-predicates, r=nikomatsakis ...

Make negative coherence work when there's impl negative on super predicates

r? `@nikomatsakis`

2022-03-18 05:21:55 +01:00

..

dep_graph

Adopt let_else in even more places

2022-02-16 22:43:39 +01:00

hir

resolve: Fix incorrect results of opt_def_kind query for some built-in macros

2022-02-24 22:54:36 +03:00

infer

Inline UnifyKey::index and UnifyKey::from_index

2022-02-15 19:07:06 +01:00

middle

rustc_error: make ErrorReported impossible to construct

2022-03-16 10:35:24 -05:00

mir

Rollup merge of #94960 - codehorseman:master, r=oli-obk

2022-03-17 22:55:05 +01:00

query

rustc_error: make ErrorReported impossible to construct

2022-03-16 10:35:24 -05:00

thir

mention ignored fields of ExprKind::StaticRef

2022-03-08 15:44:06 +01:00

traits

rustc_error: make ErrorReported impossible to construct

2022-03-16 10:35:24 -05:00

ty

Rollup merge of #95039 - spastorino:overlap-super-predicates, r=nikomatsakis

2022-03-18 05:21:55 +01:00

util

Use AddAssign impl

2021-11-09 23:47:36 +01:00

arena.rs

Improve AdtDef interning.

2022-03-11 13:31:24 +11:00

lib.rs

add #[rustc_pass_by_value] to more types

2022-03-08 15:39:52 +01:00

lint.rs

rustc_error: make ErrorReported impossible to construct

2022-03-16 10:35:24 -05:00

macros.rs

Rename TypeFolderFallible to FallibleTypeFolder

2021-12-02 16:14:18 +00:00

metadata.rs

resolve/metadata: Stop encoding macros as reexports

2022-02-24 22:55:40 +03:00

tests.rs

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

thir.rs

Improve AdtDef interning.

2022-03-11 13:31:24 +11:00