about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2022-02-26Provide extra note if synthetic type args are specifiedGary Guo-0/+1
2022-02-24Remove in-band lifetimesMichael Goulet-16/+12
2022-02-17fix impl trait message, bless testsMichael Goulet-220/+110
2022-02-17Add more information to `impl Trait` deny errorMichael Goulet-108/+218
2022-02-12Update chalk testsMatthew Jasper-6/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-748/+510
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-20/+8
2022-02-11Revert "Fix regression from lazy opaque types"Oli Scherer-94/+2
2022-02-09Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obkbors-8/+20
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-8/+20
2022-02-08Fix regression from lazy opaque typesOli Scherer-2/+94
2022-02-07Print opaque types from type aliases via their pathOli Scherer-7/+7
2022-02-02Only prevent TAITs from defining each other, RPIT and async are fine, they on...Oli Scherer-20/+2
2022-02-02Prevent two opaque types in their defining scopes from being defined via the ...Oli Scherer-13/+132
2022-02-02Ensure we error in case of non-higher-kinded lifetimesOli Scherer-1/+48
2022-02-02Avoid an ICE in the presence of HKLOli Scherer-0/+15
2022-02-02Make the error for opaque types that have no hidden types a bit informativeOli Scherer-6/+12
2022-02-02Hide further opaque type errors if items that could constrain the opaque type...Oli Scherer-20/+6
2022-02-02Add some tests to show what happens when you compare two opaque types that ar...Oli Scherer-0/+64
2022-02-02Test recursive TAIT declarationsOli Scherer-0/+80
2022-02-02Eagerly merge hidden types.Oli Scherer-33/+55
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