about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2022-02-02Stop generating inference vars for nested impl trait and let type equality ha...Oli Scherer-8/+32
2022-02-02Register member constraints on the final merged hidden typeOli Scherer-32/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-506/+429
2021-12-17Fix typo in "new region bound" suggestionEsteban Kuber-15/+15
2021-12-15update testslcnr-1/+6
2021-12-11Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obkbors-6/+23
2021-12-11Tweak assoc type obligation spansEsteban Kuber-6/+23
2021-12-10Tweak wordingEsteban Kuber-12/+12
2021-12-10Use a more accurate `Span` for `'static` obligation from return typeEsteban Kuber-16/+16
2021-12-10Point at return type when it introduces `'static` obligationEsteban Kuber-0/+28
2021-12-10Clean up visual output logicEsteban Kuber-5/+5
2021-11-26Perform Sync check on static items in wf-check instead of during const checksOli Scherer-2/+2
2021-11-26Auto merge of #85102 - estebank:point-at-assignment, r=oli-obkbors-0/+3
2021-11-25On type mismatch caused by assignment, point at assigneeEsteban Küber-0/+3
2021-11-23Fix printing unit return ty, don't elaborate FnOnce unless we see itMichael Goulet-9/+9
2021-11-23Update test outputsMichael Goulet-17/+17
2021-11-20Point at bounds when comparing impl items to traitEsteban Kuber-2/+2
2021-11-18Print output ty for opaque future tyMichael Goulet-2/+2
2021-11-09Rollup merge of #90708 - NieDzejkob:feature-note, r=jackh726Yuki Okushi-0/+9
2021-11-09Auto merge of #87337 - jyn514:lint-error, r=oli-obk,flip1995bors-7/+16
2021-11-08Add a note about feature(explicit_generic_args_with_impl_trait) to the releva...Jakub Kądziołka-0/+9
2021-11-08Don't abort compilation after giving a lint errorJoshua Nelson-7/+16
2021-11-06Move some tests to more reasonable directoriesCaio-0/+35
2021-10-25fix(rustc_typeck): report function argument errors on matching typeMichael Howell-4/+8
2021-10-24Always sort suggestions before emitting themEsteban Kuber-4/+4
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-3/+18
2021-10-18Remove regionck member constraint handling and leave it to mir borrowckOli Scherer-252/+67
2021-10-15simplify constrain_opaque_typesNiko Matsakis-123/+244
2021-10-13Bless nll testsOli Scherer-10/+12
2021-10-13Re-use logic for adding a suggestion when a lifetime bound is missing on an i...Oli Scherer-0/+15
2021-10-13Remove explicit -Zborrowck=mir which does not affect test anymoreOli Scherer-6/+2
2021-10-13Remove a feature attribute for an accepted featureOli Scherer-2/+1
2021-10-13Use a label instead of a note for member constraint errorsOli Scherer-26/+11
2021-10-13Remove textual span from diagnostic stringOli Scherer-6/+6
2021-10-03Don't suggest replacing region with 'static in NLLAaron Hill-4/+0
2021-09-28Pick one possible lifetime in case there are multiple choicesOli Scherer-2/+10
2021-09-21Disable visible path calculation for PrettyPrinter in Ok path of compilerAlik Aslanyan-2/+2
2021-09-15Move some tests to more reasonable directoriesCaio-0/+31
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-6/+6
2021-08-31Auto merge of #88100 - HTG-YT:edition2021-compopt-stabilization, r=m-ou-sebors-1/+1
2021-08-30Update test output for stable Rust 2021.Mara Bos-1/+1
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-76/+0
2021-08-24Normalize associated types with bound varsJack Huey-2/+2
2021-08-18Rollup merge of #88136 - spastorino:fix-test-directory, r=oli-obkGuillaume Gomez-0/+13
2021-08-18Move private_unused.rs test to impl-traitSantiago Pastorino-0/+13
2021-08-18Auto merge of #87738 - lqd:polonius-master, r=nikomatsakisbors-1/+1
2021-08-16Use note to point at bound introducing requirementEsteban Küber-6/+10
2021-08-11Modify structured suggestion outputEsteban Küber-99/+157
2021-08-06Point to the value instead of the TAIT declaration for obligation failuresOli Scherer-15/+18
2021-08-06Rollup merge of #87727 - SkiFire13:fix-87718, r=jackh726Yuki Okushi-3/+41