about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait
AgeCommit message (Expand)AuthorLines
2025-09-29Make replacement suggestion `_` in type verboseEsteban Küber-4/+7
2025-09-26allow method calls on opaqueslcnr-1/+7
2025-09-26use `try_structurally_resolve_type` for method receiverlcnr-4/+4
2025-09-21Consider errors in MIR as impossible predicates.Camille Gillot-0/+170
2025-09-08remove outdated opaque type testlcnr-49/+0
2025-08-31std: fix `SplitPaths` regressionjoboet-0/+11
2025-08-26Rollup merge of #144373 - hkBst:remove-deprecated-1, r=jhprattGuillaume Gomez-3/+3
2025-08-26remove deprecated Error::description in implsMarijn Schouten-3/+3
2025-08-25change non-defining use error messagelcnr-6/+58
2025-08-25support non-defining uses in HIR typecklcnr-20/+38
2025-08-23Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhprattbors-4/+14
2025-08-22Separate transmute checking from typeck.Camille Gillot-55/+24
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-4/+14
2025-08-20handle opaque types before region inferencelcnr-26/+16
2025-08-18nll-relate: improve hr opaque types supportlcnr-17/+10
2025-08-08borrowck: defer opaque type errorslcnr-12/+60
2025-07-28expand: Micro-optimize prelude injectionVadim Petrochenkov-2/+2
2025-07-23Update uitest stderrsJonathan Brouwer-1/+1
2025-06-25Add edition checks for some tests that had divergent outputEsteban Küber-6/+100
2025-06-22Implement DesugaringKind::FormatLiteralmejrs-9/+10
2025-06-09Apply nested goals certainty to InspectGoals for normalizes-toMichael Goulet-8/+8
2025-06-07Rollup merge of #142045 - estebank:obligation-cause-code-suggestion, r=compil...Jacob Pratt-1/+6
2025-06-06Make obligation cause code suggestions verboseEsteban Küber-1/+6
2025-06-05Auto merge of #138677 - shepmaster:consistent-elided-lifetime-syntax, r=travi...bors-12/+2
2025-06-04Rollup merge of #141968 - oli-obk:wfck-everything-at-once, r=wesleywiserMatthias Krüger-26/+26
2025-06-04Replace `elided_named_lifetimes` with `mismatched_lifetime_syntaxes`Jake Goulding-12/+2
2025-06-03Add `iter` macroOli Scherer-1/+1
2025-06-03Run wfcheck in one big loop instead of per moduleOli Scherer-26/+26
2025-05-21Fix testsBoxy-0/+5
2025-05-20Just error on recursive opaque ty in HIR typeckMichael Goulet-30/+36
2025-05-09more moved testslcnr-0/+0
2025-05-09move (and remove) impl Trait testslcnr-0/+30
2025-05-07Add `DefPathData::OpaqueLifetime` to avoid conflicts for remapped opaque life...John Kåre Alsaker-0/+42
2025-04-24norm nested aliases before evaluating the parent goallcnr-1/+1
2025-04-17Rollup merge of #139902 - lcnr:no-opaque-cast-projection, r=oli-obkMatthias Krüger-1/+4
2025-04-17check OpaqueCast tests with next-solverlcnr-1/+4
2025-04-16Explicitly annotate edition for `unpretty=expanded` and `unpretty=hir` testsLukas Wirth-0/+2
2025-04-11Auto merge of #139578 - ferrocene:pa-compiletest-edition, r=jieyouxubors-4/+5
2025-04-11Improve `AssocItem::descr`.Nicholas Nethercote-1/+1
2025-04-10replace `//@ compile-flags: --edition` with `//@ edition`Pietro Albini-4/+5
2025-04-09Auto merge of #139555 - petrochenkov:errkind-ann, r=jieyouxubors-28/+28
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-28/+28
2025-04-07compiletest: Stricter parsing for diagnostic kindsVadim Petrochenkov-1/+1
2025-04-03add `TypingMode::Borrowck`lcnr-280/+245
2025-03-31increment depth of nested obligationslcnr-23/+21
2025-03-30Remove attribute `#[rustc_error]`Vadim Petrochenkov-22/+6
2025-03-25Allow defining opaques in statics and constsMichael Goulet-83/+40
2025-03-23fix ICE #138415Takayuki Maeda-0/+31
2025-03-19merge opaque types of nested bodieslcnr-47/+53
2025-03-11Error on `define_opaques` entries without any opaques actually referencedOli Scherer-2/+9