about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-12tests: ensure disabled tests have a reasonJieyou Xu-1/+1
2025-04-11Auto merge of #139578 - ferrocene:pa-compiletest-edition, r=jieyouxubors-4/+5
2025-04-11Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnrStuart Cook-35/+131
2025-04-11Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_...Stuart Cook-0/+21
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-35/+131
2025-04-10replace `//@ compile-flags: --edition` with `//@ edition`Pietro Albini-4/+5
2025-04-09Make unnormalizable item ambiguous in coherenceMichael Goulet-0/+60
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-0/+142
2025-04-09Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er...Michael Goulet-21/+2
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-0/+139
2025-04-09Suggest the use of `impl Trait` in function parameter onlyRomain Perier-0/+21
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-37/+37
2025-04-08Rollup merge of #139421 - compiler-errors:upcast-no-principal-with-proj, r=ol...Stuart Cook-0/+13
2025-04-08Rollup merge of #139346 - compiler-errors:non-lifetime-binder-diag-hir-wf-che...Stuart Cook-0/+83
2025-04-05Fix trait upcasting to dyn type with no principal when there are projectionsMichael Goulet-0/+13
2025-04-04Auto merge of #139390 - matthiaskrgr:rollup-l64euwx, r=matthiaskrgrbors-30/+30
2025-04-04Don't construct preds w escaping bound vars in diagnostic_hir_wf_checkMichael Goulet-0/+83
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-16/+63
2025-04-04Use the span of the whole bound when the diagnostic talks about a boundOli Scherer-30/+30
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-0/+450
2025-04-03Initial support for auto traits with default boundsBryanskiy-0/+450
2025-04-03add `TypingMode::Borrowck`lcnr-16/+63
2025-04-03compiletest: Require `//~` annotations even if `error-pattern` is specifiedVadim Petrochenkov-1/+2
2025-04-02Rollup merge of #139200 - xizheyin:issue-139174, r=compiler-errorsStuart Cook-0/+64
2025-04-01Skip suggest impl or dyn when poly trait is not a real traitxizheyin-15/+0
2025-04-01Add ui test ui/traits/object/suggestion-trait-object-issue-139174.rsxizheyin-0/+79
2025-03-31increment depth of nested obligationslcnr-1/+1
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-0/+143
2025-03-30Remove attribute `#[rustc_error]`Vadim Petrochenkov-11/+2
2025-03-24Allow WellFormed goals to be returned from relating in new solverMichael Goulet-0/+48
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-23/+0
2025-03-13Flesh out testsMichael Goulet-4/+101
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-0/+46
2025-03-13Auto merge of #138249 - compiler-errors:auto-self, r=lcnrbors-28/+3
2025-03-13Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearthbors-2/+2
2025-03-12Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errorsManish Goregaokar-2/+2
2025-03-12Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errorsMatthias Krüger-119/+80
2025-03-11change `TypeChecker` to a MIR visitorlcnr-2/+2
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-24/+36
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-99/+23
2025-03-09Do not register `Self: AutoTrait` when confirming auto traitMichael Goulet-28/+3
2025-03-06Rollup merge of #137764 - compiler-errors:always-applicable-negative-impl, r=...Michael Goulet-0/+98
2025-03-06Rollup merge of #137637 - compiler-errors:dyn-cast-from-dyn-star, r=oli-obkMichael Goulet-0/+19
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-6/+0
2025-03-05keep inductive cycles as ambig in coherencelcnr-0/+32
2025-03-05change definitely non-productive cycles to errorlcnr-119/+48
2025-03-04Make rustdoc tests use always applicable negative auto implsMichael Goulet-0/+98
2025-03-04tests: remove explicit long type filename hash normalization from some ui tests许杰友 Jieyou Xu (Joe)-4/+2
2025-03-01Check dyn flavor before registering upcast goal on wide pointer cast in MIR t...Michael Goulet-0/+19