about summary refs log tree commit diff
path: root/src/test/ui/nll/user-annotations
AgeCommit message (Expand)AuthorLines
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
2018-08-24rename test caseNiko Matsakis-5/+5
2018-08-24add test for method ufcs notationNiko Matsakis-0/+122
2018-08-24support user-given types in adtsNiko Matsakis-0/+556
2018-08-24support user annotations in fns, methodsNiko Matsakis-0/+223
2018-08-24add a `user_substs` table and store the annotations in thereNiko Matsakis-0/+80
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-12 06:02:25 +0000