diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-26 13:32:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-26 13:32:14 +0100 |
| commit | b0a63cb932cc94a4360219780a46fc3bcfb89e88 (patch) | |
| tree | 95a2186a1f369be7e9f99e927fe58b218ca2c6a0 /src/test/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs | |
| parent | 3b1d7351186a073c72e4be3c7d7b7ab8f1f10c58 (diff) | |
| parent | 0d0702623fd0df96dfb6311b4a23bd0122d49b08 (diff) | |
| download | rust-b0a63cb932cc94a4360219780a46fc3bcfb89e88.tar.gz rust-b0a63cb932cc94a4360219780a46fc3bcfb89e88.zip | |
Rollup merge of #68004 - nikomatsakis:negative-impls, r=varkor
permit negative impls for non-auto traits This is a prototype impl that extends `impl !Trait` beyond auto traits. It is not integrated with coherence or anything else, and hence only serves to prevent downstream impls (but not to allow downstream crates to rely on the absence of such impls for coherence purposes). Fixes https://github.com/rust-lang/rust/issues/66544 TODO: - [x] need a test that you can't rely on negative impls for coherence purposes - [x] test that negative impls cannot specialize positive ones - [x] test that positive impls cannot specialize negative ones - [x] extend negative impl to `Clone` in order to fully fix #66544 - [x] and maybe make `CoerceUnsized` unsafe? -- that problem is now split out into https://github.com/rust-lang/rust/issues/68015 - [x] introduce feature flag and prepare a write-up - [x] improve diagnostics?
Diffstat (limited to 'src/test/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs')
0 files changed, 0 insertions, 0 deletions