about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-4/+13
2022-04-04diagnostics: use correct span for const genericsMichael Howell-2/+2
2022-04-02Fix late-bound ICE in unsized return suggestionMichael Goulet-28/+51
2022-03-30Restore `impl Future<Output = Type>` to async blocksMichael Goulet-4/+4
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-28Also use the RPIT back compat hack in trait projectionOli Scherer-35/+5
2022-03-28Show that the behaviour is the same for RPIT and TAITOli Scherer-0/+230
2022-03-28Add a test showing that a similar example compilesOli Scherer-0/+20
2022-03-28Fix mixing lazy TAIT and RPIT in their defining scopesOli Scherer-0/+28
2022-03-28Add regression testOli Scherer-0/+60
2022-03-28Add another regression testOli Scherer-0/+27
2022-03-28Test that TAIT and RPIT are in syncOli Scherer-2/+31
2022-03-28Add regression testsOli Scherer-0/+494
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-16/+48
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-134/+287
2022-03-28Special case the situation where the previous span is the same as the new oneOli Scherer-6/+3
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-7/+7
2022-03-28Normalize all projections in mir validation againOli Scherer-0/+29
2022-03-28Don't bind hidden types when searching for matching implsOli Scherer-39/+73
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-504/+848
2022-03-27Rollup merge of #95364 - GuillaumeGomez:long-error-explanation-e0667, r=Dylan...Dylan DPC-1/+3
2022-03-27Update ui test outputGuillaume Gomez-1/+3
2022-03-27Rollup merge of #93469 - compiler-errors:issue-93450, r=estebankDylan DPC-18/+3
2022-03-22remove [async output] from impl FutureMichael Goulet-4/+4
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-03-07diagnostics: only talk about `Cargo.toml` if running under CargoMichael Howell-1/+1
2022-03-03Cleanup feature gates.Camille GILLOT-3/+1
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-17skip pointing out ambuguous impls in alloc/std crates tooMichael Goulet-18/+3
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