diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-13 22:31:25 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-06-20 04:38:46 +0000 |
| commit | 91e5c3f2e5d0a20ffc9b2e80ea049e77d5721da0 (patch) | |
| tree | 87b9e516ddd5caf9ef411647c97b9855ea13a40e /compiler/rustc_middle/src | |
| parent | 657d3f43a9802a3e119c1acf6467ddc0eb41e0be (diff) | |
| download | rust-91e5c3f2e5d0a20ffc9b2e80ea049e77d5721da0.tar.gz rust-91e5c3f2e5d0a20ffc9b2e80ea049e77d5721da0.zip | |
Make rustc_deny_explicit_impl only local as well
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/trait_def.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/trait_def.rs b/compiler/rustc_middle/src/ty/trait_def.rs index 14352307094..325e156fba5 100644 --- a/compiler/rustc_middle/src/ty/trait_def.rs +++ b/compiler/rustc_middle/src/ty/trait_def.rs @@ -57,6 +57,9 @@ pub struct TraitDef { /// denied. This only applies to built-in trait, and is marked via /// `#[rustc_do_not_implement_via_object]`. pub do_not_implement_via_object: bool, + + /// Whether a trait is fully built-in, and any implementation is disallowed. + pub deny_explicit_impl: bool, } /// Whether this trait is treated specially by the standard library |