about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-04-15Validation and other thingsMichael Goulet-1/+203
2024-04-15Begin AST lowering for precise capturesMichael Goulet-0/+56
2024-04-08Ensure the canonical_param_env_cache does not contain inconsistent informatio...Oli Scherer-0/+27
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-38/+5
2024-04-08Add regression testOli Scherer-0/+32
2024-04-07add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145Matthias Krüger-0/+35
2024-04-07add test for ice called Option::unwrap() on a None value in collector.rs:934:...Matthias Krüger-0/+58
2024-04-04Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwUJacob Pratt-8/+26
2024-04-04Auto merge of #121394 - oli-obk:define_opaque_types, r=compiler-errorsbors-6/+6
2024-04-04amend to Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes`Oli Scherer-2/+2
2024-04-04Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes`Oli Scherer-4/+4
2024-04-04Rollup merge of #123218 - compiler-errors:synthetic-hir-parent, r=petrochenkovMatthias Krüger-0/+38
2024-04-04unconstrained `NormalizesTo` term for opaqueslcnr-8/+26
2024-04-03Tests for getting parent of synthetic HIRMichael Goulet-0/+38
2024-04-03Stop chopping off args for no reasonMichael Goulet-1/+19
2024-03-28Auto merge of #116891 - aliemjay:opaque-region-infer-rework-2, r=compiler-err...bors-26/+252
2024-03-28remove test FIXME re once-module-regionAli MJ Al-Nasrawy-8/+6
2024-03-28simplify check_uniqueAli MJ Al-Nasrawy-56/+20
2024-03-28check RPITs for invalid argsAli MJ Al-Nasrawy-27/+114
2024-03-28except equal parameters from the uniqueness checkAli MJ Al-Nasrawy-0/+74
2024-03-27Sort a diagnostic by `DefPathStr` instead of `DefId`Oli Scherer-4/+4
2024-03-27Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ...Oli Scherer-10/+10
2024-03-26ignore uncaptured lifetimes when checking opaquesAli MJ Al-Nasrawy-3/+106
2024-03-24add test for ICE: no errors encountered even though delay_span_bug issued, e...Matthias Krüger-0/+35
2024-03-24Rollup merge of #122943 - matthiaskrgr:ice-tests-9xxxx-to-12xxxx, r=fmeaseMatthias Krüger-0/+36
2024-03-23add test for opaque type with non-universal region substs #101852Matthias Krüger-0/+36
2024-03-22Delay a bug if no RPITITs were foundLeón Orell Valerian Liehr-17/+71
2024-03-22add test for https://github.com/rust-lang/rust/issues/112823Matthias Krüger-0/+61
2024-03-21Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obkbors-8/+67
2024-03-20register opaques that reference errorsAli MJ Al-Nasrawy-13/+24
2024-03-20make `type_flags(ReError) & HAS_ERROR`Ali MJ Al-Nasrawy-77/+17
2024-03-20Bless test fallout (duplicate diagnostics)Michael Goulet-8/+67
2024-03-19Auto merge of #116935 - oli-obk:different_lifetime_taits_in_same_sig, r=compi...bors-21/+0
2024-03-19Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnrbors-8/+8
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-2/+0
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-1/+4
2024-03-18update region debug formattingBoxy-8/+8
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-1/+4
2024-03-18Prevent opaque types being instantiated twice with different regions within t...Oli Scherer-21/+0
2024-03-16Rollup merge of #121720 - tmandry:split-refining, r=compiler-errorsLeón Orell Valerian Liehr-7/+126
2024-03-15Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnrbors-1/+18
2024-03-14Ensure RPITITs are created before def-id freezingMichael Goulet-0/+22
2024-03-14Consolidate WF for aliasesMichael Goulet-1/+18
2024-03-13Delay a bug for stranded opaquesMichael Goulet-0/+22
2024-03-12Rollup merge of #122366 - oli-obk:opaques_defined_by_overflow, r=lcnrJubilee-0/+26
2024-03-12Fix stack overflow with recursive associated typesOli Scherer-0/+26
2024-03-12Rollup merge of #122343 - compiler-errors:rando, r=fmeaseMatthias Krüger-39/+15
2024-03-11Remove some unnecessary allow(incomplete_features)Michael Goulet-39/+15
2024-03-11Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnrbors-28/+15
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-28/+15