about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
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
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-1/+1
2022-12-26remove unused importsTakayuki Maeda-1/+0
2022-12-08Move vtable methods into its own moduleMichael Goulet-10/+0
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-7/+5
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-2/+2
2022-11-25Rollup merge of #104835 - spastorino:use-partially_normalize_associated_types...Matthias Krüger-5/+9
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-3/+3
2022-11-24Use infcx.partially_normalize_associated_types_inSantiago Pastorino-5/+9
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-0/+11
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-6/+4
2022-11-21Use iterators instead of slices at more sitesOli Scherer-2/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-3/+3
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-10/+4
2022-10-19Don't call `own_existential_vtable_entries` on unresolved trait refMichael Goulet-10/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-08-21Rework point-at-argMichael Goulet-24/+1
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-3/+3
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-1/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-11-03 03:09:20 +0000