summary refs log tree commit diff
path: root/src/test/ui/nll
AgeCommit message (Expand)AuthorLines
2019-01-04Wf-check the output type of a function in MIR-typeckMatthew Jasper-0/+38
2018-12-04Auto merge of #56486 - matthewjasper:propagate-all-closure-bounds, r=pnkfelixbors-0/+42
2018-12-04Update testsOliver Scherer-49/+79
2018-12-03Propagate all closure requirements to the callerMatthew Jasper-0/+42
2018-11-26Put all existential ty vars in the `ROOT` universescalexm-1/+1
2018-11-25Auto merge of #55921 - scalexm:placeholders, r=nikomatsakisbors-2/+2
2018-11-25Auto merge of #55959 - matthewjasper:remove-end-region, r=nikomatsakisbors-4/+4
2018-11-24Fix NLL ui testscalexm-2/+2
2018-11-19Rollup merge of #56043 - nikomatsakis:issue-55756-via-outlives, r=eddybPietro Albini-0/+37
2018-11-18remove "approx env bounds" if we already know from traitNiko Matsakis-0/+37
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-4/+4
2018-11-15Rollup merge of #55781 - pnkfelix:issue-54382-more-precise-spans-for-temps-an...Pietro Albini-0/+63
2018-11-13Fix ui testsscalexm-6/+6
2018-11-11Auto merge of #55657 - davidtwco:issue-55651, r=pnkfelixbors-0/+38
2018-11-11Rollup merge of #55822 - davidtwco:issue-55394, r=pnkfelixPietro Albini-0/+37
2018-11-09Fix ICE and find correct return span.David Wood-0/+37
2018-11-08Revise the temp creation for blocks in `stmt_expr` to setup `BlockTailInfo`.Felix S. Klock II-0/+2
2018-11-08Regression test for issue #54382Felix S. Klock II-0/+61
2018-11-07Ignore never-initialized locals for `unused_mut`.David Wood-0/+26
2018-11-05Add run-pass test for reinitialized unions.David Wood-0/+38
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-5/+5
2018-10-29Don't emit cannot move errors twice in migrate modeMatthew Jasper-85/+1
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-5/+5
2018-10-27Test for cast causing static promotion failure.David Wood-0/+21
2018-10-26Add test for normalization during field-lookup on patterns with ascribed types.Felix S. Klock II-14/+50
2018-10-26regression test for ICE I encountered in my patch.Felix S. Klock II-0/+31
2018-10-26Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-17/+46
2018-10-25Auto merge of #54490 - wesleywiser:rewrite_it_in_mir, r=oli-obkbors-5/+18
2018-10-25Auto merge of #55347 - pietroalbini:rollup, r=pietroalbinibors-2/+2
2018-10-25Rollup merge of #55269 - matthiaskrgr:typos_oct, r=zackmdavisPietro Albini-2/+2
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-0/+48
2018-10-23Auto merge of #55229 - nikomatsakis:issue-54692-closure-signatures, r=Matthew...bors-31/+152
2018-10-23check the self type is well-formedNiko Matsakis-0/+37
2018-10-23fix typos in various placesMatthias Krüger-2/+2
2018-10-23Auto merge of #54778 - scottmcm:stabilize-ihle, r=pnkfelixbors-2/+1
2018-10-22stop reporting "unsatisfied lifetime bounds" errors after the firstNiko Matsakis-87/+13
2018-10-22flesh out closure-substs testNiko Matsakis-8/+66
2018-10-22add regression test for #54124Niko Matsakis-0/+29
2018-10-22start enforcing closure typesNiko Matsakis-0/+71
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-591/+418
2018-10-20Give an error number for "borrowed data escapes outside of closure"Matthew Jasper-4/+7
2018-10-20Prefer type annotations and returns in free region errorsMatthew Jasper-1/+1
2018-10-19Stabilize impl_header_lifetime_elision in 2015Scott McMurray-2/+1
2018-10-19normalize the self-type that we extract from implNiko Matsakis-0/+25
2018-10-19add a test that we enforce '`static` errors post normalizationNiko Matsakis-0/+26
2018-10-19create type ascription for any castNiko Matsakis-0/+13
2018-10-19Wrap cast expressions inside of ValueTypeAscriptionKeith Yeung-0/+17
2018-10-19normalize and prove predicatesNiko Matsakis-0/+26
2018-10-19normalize after substitutionNiko Matsakis-0/+34
2018-10-19propagate user-type annotation for constants in expressionsNiko Matsakis-0/+77