about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2024-02-06Rollup merge of #120396 - estebank:method-on-unbounded-type-param, r=nnethercoteMatthias Krüger-0/+89
2024-02-05new solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-0/+2
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-0/+54
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-15/+89
2024-02-04Auto merge of #120649 - matthiaskrgr:rollup-ek80j61, r=matthiaskrgrbors-37/+17
2024-02-03Rollup merge of #120531 - oli-obk:track_errors7, r=estebankMatthias Krüger-2/+10
2024-02-03No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c...Michael Goulet-15/+1
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-2/+2
2024-02-02Normalize type outlives obligations in NLLMichael Goulet-0/+31
2024-02-02Use deeply_normalize_with_skipped_universes in when processing type outlivesMichael Goulet-1/+8
2024-02-01review comment: change wordingEsteban Küber-6/+6
2024-02-01On E0277 be clearer about implicit `Sized` bounds on type params and assoc typesEsteban Küber-33/+13
2024-01-31Remove a has_errors check that doesn't actually prevent noisy follow up errorsOli Scherer-2/+10
2024-01-31Rollup merge of #120472 - Nilstrieb:die, r=compiler-errorsNadrieril-63/+0
2024-01-31Rollup merge of #120469 - estebank:issue-40120, r=TaKO8KiNadrieril-26/+26
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-26/+26
2024-01-30Account for non-overlapping unmet trait bounds in suggestionEsteban Küber-6/+16
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-3/+48
2024-01-30fix rebaseEsteban Küber-13/+4
2024-01-30Account for unbounded type param receiver in suggestionsEsteban Küber-8/+8
2024-01-30Add test for method on unbounded type parameter receiverEsteban Küber-0/+98
2024-01-30Rollup merge of #120476 - compiler-errors:lang-items-yeet, r=NilstriebGuillaume Gomez-31/+0
2024-01-30Rollup merge of #120293 - estebank:issue-102629, r=nnethercoteGuillaume Gomez-31/+18
2024-01-30Rollup merge of #120400 - estebank:bound-error-cleanup, r=oli-obkGuillaume Gomez-4/+1
2024-01-30Auto merge of #119744 - lcnr:assemble-only-rigid, r=compiler-errorsbors-13/+85
2024-01-30Apply suggestions from reviewMichael Goulet-0/+20
2024-01-30Add a testMichael Goulet-0/+22
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-3/+6
2024-01-29Remove some unnecessary check logic for lang items in HIR typeckMichael Goulet-31/+0
2024-01-29Delete now-useless testNilstrieb-48/+0
2024-01-29Make duplicate lang items fatalNilstrieb-18/+3
2024-01-29Avoid ICE in trait without `dyn` lintEsteban Küber-11/+3
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-13/+85
2024-01-27Update tests.Markus Reiter-1/+1
2024-01-26Rollup merge of #120378 - lcnr:normalize-ast, r=compiler-errorsMatthias Krüger-25/+41
2024-01-26Use only one label for multiple unsatisfied bounds on type (typeck)Esteban Küber-4/+1
2024-01-26remove unnecessary testlcnr-22/+0
2024-01-26move alias-relate testslcnr-1/+1
2024-01-26next-solver: normalize in `LoweredTy::from_raw`lcnr-2/+40
2024-01-25blessMichal Nazarewicz-0/+1
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-31/+18
2024-01-22Add regression testOli Scherer-0/+69
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-90/+199
2024-01-16Auto merge of #119947 - compiler-errors:old-solver-instantiate-response, r=lcnrbors-0/+94
2024-01-13Add a simpler testMichael Goulet-0/+45
2024-01-13Make sure to instantiate placeholders correctly in old solverMichael Goulet-0/+49
2024-01-13Auto merge of #119088 - George-lewis:glewis/suggest-upgrading-compiler, r=Nil...bors-0/+6
2024-01-13Bless testsGeorge-lewis-0/+6
2024-01-13Rollup merge of #119896 - oli-obk:variance_ice, r=compiler-errorsMatthias Krüger-0/+37
2024-01-12Taint `_` placeholder typesOli Scherer-0/+37