summary refs log tree commit diff
path: root/src/test/ui/impl-trait/issues
AgeCommit message (Expand)AuthorLines
2022-10-07Unconditionally encode hidden types in typeck resultsOli Scherer-4/+11
2022-09-24Note the type when unable to drop values in compile timeDeadbeef-3/+3
2022-08-18Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-9/+25
2022-08-08Adjust wordingMichael Goulet-2/+2
2022-08-07Implement special-cased projection error message for some common traitsMichael Goulet-2/+2
2022-07-28Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk"Oli Scherer-9/+25
2022-07-20take opaq typesouz-a-7/+17
2022-07-16Do not constraint TAITs when checking impl/trait item compatibilityMichael Goulet-0/+41
2022-07-08Auto merge of #98816 - estebank:implicit-sized, r=oli-obkbors-2/+2
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-2/+2
2022-07-07Shorten span for closures.Camille GILLOT-1/+1
2022-07-01Shorten def_span for more items.Camille GILLOT-5/+3
2022-06-29Make RPIT and TAIT work exactly the sameOli Scherer-32/+14
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-2/+2
2022-06-06Deactivate feature gate explicit_generic_args_with_impl_traitNick Cameron-50/+0
2022-06-02add new `emit_inference_failure_err`lcnr-3/+18
2022-05-14Forbid nested opaque types to reference HRTB from opaque types.Camille GILLOT-98/+75
2022-05-02Add a regression test for #92305Yuki Okushi-0/+47
2022-04-28Revert diagnostic duplication and accidental stabilizationOli Scherer-14/+7
2022-04-27Auto merge of #91557 - cjgillot:ast-lifetimes-named, r=petrochenkovbors-3/+3
2022-04-27Bless tests.Camille GILLOT-3/+3
2022-04-25Recover most `impl Trait` and `dyn Trait` lifetime bound suggestions under NLLmarmeladema-1/+5
2022-04-16Implementation for 65853Jack Huey-1/+8
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-4/+2
2022-03-30Restore `impl Future<Output = Type>` to async blocksMichael Goulet-1/+1
2022-03-28Add another regression testOli Scherer-0/+27
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-9/+4
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-12/+20
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-56/+168
2022-03-27Update ui test outputGuillaume Gomez-0/+1
2022-03-22remove [async output] from impl FutureMichael Goulet-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-17fix impl trait message, bless testsMichael Goulet-48/+24
2022-02-17Add more information to `impl Trait` deny errorMichael Goulet-24/+48
2022-02-12Update chalk testsMatthew Jasper-0/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-135/+56
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-17/+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/+17
2022-02-02Prevent two opaque types in their defining scopes from being defined via the ...Oli Scherer-3/+59
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-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-61/+22
2021-12-15update testslcnr-1/+6
2021-11-26Perform Sync check on static items in wf-check instead of during const checksOli Scherer-2/+2
2021-11-23Fix printing unit return ty, don't elaborate FnOnce unless we see itMichael Goulet-1/+1