about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-12-15Annotate some more bugsMichael Goulet-7/+4
2023-12-15Rollup merge of #118888 - compiler-errors:uplift-more-things, r=jackh726Matthias Krüger-97/+22
2023-12-14Rollup merge of #118933 - nnethercote:cleanup-errors-even-more, r=compiler-er...Jubilee-2/+4
2023-12-15Change `msg: impl Into<String>` for bug diagnostics.Nicholas Nethercote-2/+4
2023-12-14Move special methods from ClosureKind back into rustcMichael Goulet-24/+9
2023-12-14update use of feature flagslcnr-1/+1
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-6/+2
2023-12-14Auto merge of #117749 - aliemjay:perf-canon-cache, r=lcnrbors-1/+4
2023-12-13Tweak `short_ty_string` to reduce number of filesEsteban Küber-9/+11
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-1/+4
2023-12-12Uplift TypeAndMutMichael Goulet-21/+8
2023-12-12Uplift ClosureKindMichael Goulet-76/+29
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-8/+7
2023-12-12Auto merge of #118841 - compiler-errors:always-copy, r=jackh726bors-1/+2
2023-12-12Make ConstKind and TyKind CopyMichael Goulet-1/+2
2023-12-11remove some redundant clonesMatthias Krüger-1/+1
2023-12-11Auto merge of #118661 - fee1-dead-contrib:restore-const-partialEq, r=compiler...bors-32/+18
2023-12-10fix clippyDeadbeef-1/+2
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-8/+7
2023-12-10clean up leftover FIXMEDeadbeef-30/+5
2023-12-10fix testsDeadbeef-1/+2
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-26/+33
2023-12-10filter out trailing effect param in `own_args_no_defaults`Deadbeef-0/+2
2023-12-10Auto merge of #118788 - compiler-errors:const-pretty, r=fee1-deadbors-41/+38
2023-12-10remove redundant importssurechen-8/+7
2023-12-09Auto merge of #118308 - Nadrieril:sound-exhaustive-patterns-take-3, r=compile...bors-10/+31
2023-12-09Print constness in TraitPredPrintModifiersAndPathMichael Goulet-3/+6
2023-12-09s/const_effect/host_effectMichael Goulet-5/+6
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-33/+26
2023-12-09Auto merge of #118763 - matthiaskrgr:rollup-mgyf5hp, r=matthiaskrgrbors-16/+78
2023-12-09Detect cycles in `InhabitedPredicate::apply`Nadrieril-10/+31
2023-12-08Rollup merge of #117586 - compiler-errors:the-canonicalizer, r=lcnrMatthias Krüger-16/+78
2023-12-08Auto merge of #117681 - Zoxc:tcx-sync, r=compiler-errorsbors-1/+13
2023-12-08FeedbackMichael Goulet-49/+33
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-8/+86
2023-12-08Implement `async gen` blocksMichael Goulet-1/+8
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-3/+3
2023-12-08Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwUbors-0/+57
2023-12-08implement and use `NormalizesTo`lcnr-1/+7
2023-12-07Explicitly implement `DynSync` and `DynSend` for `TyCtxt`John Kåre Alsaker-1/+13
2023-12-07Auto merge of #118324 - RalfJung:ctfe-read-only-pointers, r=saethlinbors-8/+34
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+51
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-8/+34
2023-12-07Fix const drop checkingMichael Goulet-3/+3
2023-12-07Auto merge of #118684 - compiler-errors:yeet-poly-gen-sig, r=spastorinobors-15/+2
2023-12-06Rollup merge of #118660 - cuviper:alloc_str, r=petrochenkovMatthias Krüger-3/+1
2023-12-06Yeet PolyGenSigMichael Goulet-15/+2
2023-12-06Auto merge of #118605 - fee1-dead-contrib:rm-rustc_host, r=compiler-errorsbors-1/+1
2023-12-05rustc_arena: add `alloc_str`Josh Stone-3/+1
2023-12-05Add print_trait_sugaredMichael Goulet-1/+45