diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-06-29 05:31:59 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-07-02 10:38:30 -0400 |
| commit | 5c15163cb9101d9a9cc8a41fe98b253cce351857 (patch) | |
| tree | 9f663c4679c33cfcf7ab88c8a47ecb547da90de5 /src/test/incremental/thinlto | |
| parent | 2eb6969c6a2efba9e59544bc18b4d96a9f2b2504 (diff) | |
| download | rust-5c15163cb9101d9a9cc8a41fe98b253cce351857.tar.gz rust-5c15163cb9101d9a9cc8a41fe98b253cce351857.zip | |
prove defaults meet WF requirements, not that they are WF
If we have
```rust
struct Foo<T: Copy = String> { .. }
```
the old code would have proven that `String: Copy` was WF -- this,
incidentally, also proved that `String: Copy`. The new code just
proves `String: Copy` directly.
Co-authored-by: Tyler Mandry <tmandry@gmail.com>
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions