about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2023-04-03fix(middle): emit error rather than delay bug when reaching limitbohan-5/+9
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+22
2023-03-21Use local key in providersMichael Goulet-4/+3
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-12/+12
2023-03-13Better names?Michael Goulet-1/+1
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-7/+14
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+2
2023-02-27Implement checked Shl/Shr at MIR building.Camille GILLOT-12/+12
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-0/+34
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-0/+34
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+21
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-5/+5
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-4/+7
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-3/+3
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-3/+3
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-2/+2
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-01-27Restrict amount of ignored locals.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-2/+72
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-2/+12
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-8/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+4
2023-01-25Use `can_eq` to compare types for default assoc type errorNilstrieb-11/+0
2023-01-21rustc_metadata: Encode `doc(hidden)` flag to metadataVadim Petrochenkov-1/+2
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-7/+0
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-14/+0
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-7/+0
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-4/+0
2022-12-28better names and a commentMichael Goulet-2/+2
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-0/+7
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine identical alias armsMichael Goulet-19/+11
2022-12-13Combine projection and opaque into aliasMichael Goulet-14/+14
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Remove instantiate_type_schemeMichael Goulet-3/+3
2022-12-13EarlyBinder nitsMichael Goulet-2/+9
2022-12-07Move closure/generator type info methods to TyCtxtMichael Goulet-0/+76
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-5/+5
2022-11-25Rename normalize_opaque_types to reveal_opaque_types_in_boundsMichael Goulet-3/+3
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-17/+6
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-13/+8
2022-10-14more dupe word typosRageking8-1/+1
2022-09-27rustdoc: Queryify `is_notable_trait`Noah Lev-2/+14
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1