about summary refs log tree commit diff
path: root/src/test/run-pass/thinlto
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2017-05-12 05:02:10 +0000
committerbors <bors@rust-lang.org>2017-05-12 05:02:10 +0000
commit141e8a6a0203d546b9775ba6ecdc5eb1d748c3d4 (patch)
treef1f296764342e7ba6dfbb1731351d1586ac53924 /src/test/run-pass/thinlto
parent39bcd6f425426bfacd7de9fe0378df4bd9263d00 (diff)
parent2490ee5080ef1810fc137c676f4906d65a407dde (diff)
downloadrust-141e8a6a0203d546b9775ba6ecdc5eb1d748c3d4.tar.gz
rust-141e8a6a0203d546b9775ba6ecdc5eb1d748c3d4.zip
Auto merge of #41716 - nikomatsakis:issue-41677, r=arielb1
enforce WF conditions after generalizing

Add a `WF(T')` obligation after generalizing `T` to `T'`, if `T'` contains an unconstrained type variable in a bivariant context.

Fixes #41677.

Beta nominating -- regression.

r? @arielb1
Diffstat (limited to 'src/test/run-pass/thinlto')
0 files changed, 0 insertions, 0 deletions