about summary refs log tree commit diff
path: root/src/test/ui/nll/user-annotations
AgeCommit message (Expand)AuthorLines
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
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
2018-10-16add ~ERROR annotationsNiko Matsakis-0/+12
2018-10-15update testsNiko Matsakis-5/+178
2018-10-10Use the span of the user type for `AscribeUserType`Matthew Jasper-2/+2
2018-10-08add pattern type ascriptions for tuple/brace structs/enumsNiko Matsakis-0/+192
2018-10-04Auto merge of #54447 - KiChjang:issue-54331, r=nikomatsakisbors-0/+32
2018-09-29Add UI test for preserving user types in type ascriptionsKeith Yeung-0/+32
2018-09-25Change the diagnostic number from 714 to 716.Felix S. Klock II-7/+7
2018-09-25add "temporary value dropped while borrowed" errorMikhail Modin-13/+14
2018-09-19Update ui testsMatthew Jasper-2/+2
2018-09-10add FIXME related to `ref x` bindingsNiko Matsakis-13/+2
2018-09-10propagate user-ascribes types down onto resulting bindingsNiko Matsakis-18/+79
2018-09-10expand the patterns test with a bunch more scenariosNiko Matsakis-5/+172
2018-09-10insert `AscribeUserType` for ascriptionsNiko Matsakis-0/+47
2018-08-24address pnkfelix nitsNiko Matsakis-4/+9
2018-08-24pacify the mercilous tidy: adt-nullary-enums testNiko Matsakis-17/+32
2018-08-24ufcs with annot in position 1 and 2Niko Matsakis-0/+240
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 18:09:25 +0000