summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-01Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnrbors-4/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+4
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-38/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-40/+0
2024-04-03Stop chopping off args for no reasonMichael Goulet-2/+0
2024-03-29Rollup merge of #123188 - klensy:clippy-me2, r=NilstriebMatthias Krüger-1/+1
2024-03-28fix few moreklensy-1/+1
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-5/+6
2024-03-27Remove `Ord` from `BoundTy`Oli Scherer-6/+6
2024-03-07Don't require specifying unrelated assoc types when trait alias is in dyn typeMichael Goulet-1/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-2/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-19split `project` into multiple fileslcnr-1/+337
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-08Add helper for when we want to know if an item has a host paramMichael Goulet-1/+1
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-1/+14
2023-12-15NFC don't convert types to identical typesMatthias Krüger-3/+2
2023-12-08Implement `async gen` blocksMichael Goulet-0/+11
2023-12-06Yeet PolyGenSigMichael Goulet-10/+10
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+11
2023-10-22use visibility to check unused imports and delete some stmtsbohan-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-1/+2
2023-08-02Remove constness from `TraitPredicate`Deadbeef-4/+8
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-2/+2
2023-07-25Make everything builtin!Michael Goulet-3/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-13/+13
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+2
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-0/+41
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-1/+1
2023-06-17Simplify an ObjectData fieldMichael Goulet-2/+2
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+6
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-2/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-3/+3
2023-04-16fix clippy::toplevel_ref_arg and ::manual_mapMatthias Krüger-7/+2
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-1/+1
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-03-21remove some trait solver helperslcnr-29/+2
2023-03-15always make `define_opaque_types` explicitlcnr-7/+7
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-1/+1