user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make both polonius loans tests check-pass

Browse source
This commit is contained in:
lqd 2019-07-15 18:57:16 +02:00
parent 606f7984e7
commit 9e0fb6fad2
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/ui/nll/polonius/call-kills-loans.rs
View file

@ -4,7 +4,7 @@
// by NLL but was incorrectly rejected by Polonius because of these
// missing `killed` facts.
// build-pass
// check-pass
// compile-flags: -Z borrowck=mir -Z polonius
// ignore-compare-mode-nll

2
src/test/ui/nll/polonius/storagedead-kills-loans.rs
View file

@ -3,7 +3,7 @@
// is correctly accepted by NLL but was incorrectly rejected by
// Polonius because of these missing `killed` facts.
// build-pass
// check-pass
// compile-flags: -Z borrowck=mir -Z polonius
// ignore-compare-mode-nll