summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2023-04-13Remove some unused type folders.Nicholas Nethercote-77/+2
2023-04-13Make `Region::as_var` infallible.Nicholas Nethercote-3/+3
2023-04-11Add `sym::anon`.Nicholas Nethercote-1/+1
2023-04-11Introduce `Region::get_name_or_anon`.Nicholas Nethercote-5/+10
2023-04-10Auto merge of #108698 - IntQuant:issue-100717-infer-6, r=davidtwcobors-8/+24
2023-04-10Call `into_diagnostic_arg` on Binder's contained value directly.IQuant-3/+21
2023-04-09Remove identity castsNilstrieb-1/+1
2023-04-07Add a size assertion for `RegionKind`.Nicholas Nethercote-4/+11
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-2/+2
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-18/+0
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-2/+2
2023-04-04A more general implementation of `IntoDiagnosticArg` for `Binder` (Also remov...IQuant-13/+11
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-3/+2
2023-03-22Rollup merge of #109378 - MU001999:master, r=scottmcmMatthias Krüger-6/+1
2023-03-21Deduplicate fn trait compatibility checksOli Scherer-1/+13
2023-03-20Remove Ty::is_region_ptrMu42-6/+1
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-03canonicalizationlcnr-0/+9
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-8/+8
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-11/+12
2023-02-21address reviewb-naber-1/+1
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-1/+1
2023-02-19collect region contexts during mir renumberingb-naber-0/+7
2023-02-17Don't eagerly convert principal to stringclubby789-0/+6
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-4/+4
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+4
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-3/+3
2023-02-09Introduce `ReError`Esteban Küber-0/+7
2023-02-02Suggest `move` in nested closure when appropriateEsteban Küber-0/+22
2023-01-30Track bound types like bound regionsMichael Goulet-3/+12
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-3/+3
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+4
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-2/+17
2023-01-18Rollup merge of #107023 - scottmcm:stop-shouting, r=NilstriebMichael Goulet-1/+1
2023-01-18Rollup merge of #106718 - lcnr:solver-cycles, r=compiler-errorsDylan DPC-11/+0
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-1/+1
2023-01-18instantiate canonical vars eagerlylcnr-11/+0
2023-01-18Rollup merge of #106747 - yanchen4791:issue-105507-fix, r=estebankMatthias Krüger-0/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-06 19:33:04 +0000