summary refs log tree commit diff
path: root/src/test/ui/nll/user-annotations
AgeCommit message (Expand)AuthorLines
2020-03-30bless output of ui test nll/user-annotations/closure-substs.rsRemy Rakic-1/+1
2020-02-29Use TypeRelating for instantiating query responsesMatthew Jasper-0/+33
2020-01-23Use check-pass mode for nll testsTomasz Miąsko-1/+1
2019-12-06bless polonius output due to lacking the 'static special-casingRemy Rakic-0/+60
2019-12-03Include a span in more `expected...found` notesAaron Hill-6/+14
2019-11-18Auto merge of #58281 - mark-i-m:synthesis, r=estebankbors-0/+42
2019-11-04Use check-pass in ui tests where appropriateTomasz Miąsko-1/+1
2019-10-27update testsMark Mansi-48/+26
2019-10-27implement outlive suggestionsMark Mansi-0/+64
2019-10-11Print lifetimes with backticksYuki Okushi-5/+5
2019-10-07update ui testsGuillaume Gomez-0/+2
2019-09-12update ui testsGuillaume Gomez-0/+3
2019-09-08Update test stderr with results of enabling unused lintsMark Rousskov-3/+3
2019-07-03Migrate compile-pass annotations to build-passYuki Okushi-2/+2
2019-06-06Make sure constructors functions are type checked correctlyMatthew Jasper-0/+127
2019-05-12Remove feature(nll) when compare mode is sufficientMatthew Jasper-128/+164
2019-04-22Remove double trailing newlinesvarkor-1/+0
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-2/+1
2019-03-13test that wildcard type `_` is not duplicated by `type Foo<X> = (X, X);` and ...Felix S. Klock II-0/+99
2019-03-11Update testsVadim Petrochenkov-83/+83
2019-03-01Handle type annotations in promoted MIR correctlyMatthew Jasper-0/+29
2019-02-23Rollup merge of #58353 - matthewjasper:typeck-pattern-constants, r=arielb1Mazdak Farrokhzad-20/+58
2019-02-13Check the self-type of inherent associated constantsMatthew Jasper-20/+58
2019-02-10tests: doc commentsAlexander Regueiro-1/+1
2019-01-19Don't ignore `_` in type casts and ascriptionsMatthew Jasper-0/+78
2019-01-19Type check unnanotated constant items with NLLMatthew Jasper-0/+79
2019-01-19Handle lifetime annotations in unreachable codeMatthew Jasper-0/+11
2019-01-17Update testsMark Mansi-28/+28
2019-01-13Implement basic input validation for built-in attributesVadim Petrochenkov-2/+1
2018-12-30Guarantee `rustc_dump_user_substs` error order.David Wood-8/+8
2018-12-30Refactor `UserTypeAnnotation`.David Wood-11/+11
2018-12-25Remove licensesMark Rousskov-203/+42
2018-12-04Update testsOliver Scherer-5/+6
2018-11-26Put all existential ty vars in the `ROOT` universescalexm-1/+1
2018-11-24Fix NLL ui testscalexm-2/+2
2018-11-13Fix ui testsscalexm-6/+6
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-5/+5
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-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-0/+48
2018-10-23check the self type is well-formedNiko Matsakis-0/+37
2018-10-22stop reporting "unsatisfied lifetime bounds" errors after the firstNiko Matsakis-56/+7
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-281/+294
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