diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-01-25 05:51:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-25 05:51:12 +0100 |
| commit | 3d6f276ca71060a189fdbcb61b93750c2cb8c5a7 (patch) | |
| tree | 7b24930eb1022d56d387f25502e21cc2e7f09055 /compiler/rustc_feature/src | |
| parent | 677126cac0d59c44d7448cc1e41b1e855380c6b3 (diff) | |
| parent | 8189bac9636930155768150886e28e221523d6ac (diff) | |
| download | rust-3d6f276ca71060a189fdbcb61b93750c2cb8c5a7.tar.gz rust-3d6f276ca71060a189fdbcb61b93750c2cb8c5a7.zip | |
Rollup merge of #93175 - spastorino:negative-traits-coherence-new, r=nikomatsakis
Implement stable overlap check considering negative traits This PR implement the new disjointness rules for overlap check described in https://rust-lang.github.io/negative-impls-initiative/explainer/coherence-check.html#new-disjointness-rules r? ``@nikomatsakis``
Diffstat (limited to 'compiler/rustc_feature/src')
| -rw-r--r-- | compiler/rustc_feature/src/builtin_attrs.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_feature/src/builtin_attrs.rs b/compiler/rustc_feature/src/builtin_attrs.rs index 723cc06864a..0e643ff5998 100644 --- a/compiler/rustc_feature/src/builtin_attrs.rs +++ b/compiler/rustc_feature/src/builtin_attrs.rs @@ -697,6 +697,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[ rustc_attr!(TEST, rustc_capture_analysis, Normal, template!(Word), WarnFollowing), rustc_attr!(TEST, rustc_insignificant_dtor, Normal, template!(Word), WarnFollowing), rustc_attr!(TEST, rustc_strict_coherence, Normal, template!(Word), WarnFollowing), + rustc_attr!(TEST, rustc_with_negative_coherence, Normal, template!(Word), WarnFollowing), rustc_attr!(TEST, rustc_variance, Normal, template!(Word), WarnFollowing), rustc_attr!(TEST, rustc_layout, Normal, template!(List: "field1, field2, ..."), WarnFollowing), rustc_attr!(TEST, rustc_regions, Normal, template!(Word), WarnFollowing), |