about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2025-02-08Rustfmtbjorn3-4/+4
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-3/+3
2024-10-08Improve formatting of some comments.Nicholas Nethercote-30/+23
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+5
2024-05-13Apply nitsMichael Goulet-5/+8
2024-05-13split out AliasTy -> AliasTermMichael Goulet-11/+7
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-2/+3
2024-03-07move snapshot handling into modlcnr-1/+1
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+4
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-1/+1
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-30use a method instead of manually doing what its body doesOli Scherer-1/+1
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-1/+1
2022-01-28Remove generalization over projectionkadmin-2/+6
2021-12-19Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011Matthias Krüger-1/+1
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-3/+69
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-1/+1
2021-09-14Remove concept of 'completion' from the projection cacheAaron Hill-41/+0
2020-12-20Prevent caching projections in the case of cyclesMatthew Jasper-1/+15
2020-08-30mv compiler to compiler/mark-0/+212