about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-0/+36
2023-05-16Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger-3/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-13Handle error body when in generator layoutclubby789-3/+3
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-2/+13
2023-05-12Rewrite nested `if` conditions into a single matchOli Scherer-6/+7
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-4/+4
2023-05-11Improve error for `self: Box<self>`clubby789-1/+1
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-5/+5
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-7/+0
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-15/+22
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-7/+0
2023-04-19Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errorsMatthias Krüger-7/+0
2023-04-19Remove find_map_relevant_implMichael Goulet-15/+22
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-7/+0
2023-04-18Auto merge of #110083 - saethlin:encode-hashes-as-bytes, r=cjgillotbors-2/+2
2023-04-18Store hashes in special types so they aren't accidentally encoded as numbersBen Kimock-2/+2
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-4/+0
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