diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-08-07 09:43:40 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-08-12 17:57:58 -0400 |
| commit | 6bb1e2291195a518ddeef6e64337f4edb1432a72 (patch) | |
| tree | 38a5bee21293c18702d0c865ab12a4f363147559 /src/test/compile-fail/wf-struct-bound.rs | |
| parent | 8d98877112d4deb3786de521457418757e010c69 (diff) | |
| download | rust-6bb1e2291195a518ddeef6e64337f4edb1432a72.tar.gz rust-6bb1e2291195a518ddeef6e64337f4edb1432a72.zip | |
New WF condition requires checking that argument types are WF
on every call. This ensures that implies bounds are reasonable (the older code only checked that the values provided had WF types, but we also must know that the formal types of the arguments are WF.)
Diffstat (limited to 'src/test/compile-fail/wf-struct-bound.rs')
0 files changed, 0 insertions, 0 deletions