diff options
| author | leonardo.yvens <leoyvens@gmail.com> | 2018-01-21 12:09:06 -0200 |
|---|---|---|
| committer | leonardo.yvens <leoyvens@gmail.com> | 2018-02-28 12:33:15 -0300 |
| commit | addc404d32b8b153f65b180c4bcdc5ccaaba2a77 (patch) | |
| tree | 5889b6c08df4756782c626aa73795dfd23fe2cf3 /src/libstd/sys/unix/process/process_unix.rs | |
| parent | 35499aa9fcef2cab965f0c1e04da1b97ec715d64 (diff) | |
| download | rust-addc404d32b8b153f65b180c4bcdc5ccaaba2a77.tar.gz rust-addc404d32b8b153f65b180c4bcdc5ccaaba2a77.zip | |
Check WF of predicate with defaults only if all in LHS have default
Given a trait predicate, if all params appearing in the LHS have defaults then it should be a backwards compatible predicate. We verify that by checking the WF of predicate with all defaults substituted simultaneously.
Diffstat (limited to 'src/libstd/sys/unix/process/process_unix.rs')
0 files changed, 0 insertions, 0 deletions