about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/snapshot
AgeCommit message (Expand)AuthorLines
2025-09-08eagerly compute `sub_relations` againlcnr-1/+3
2025-07-30handle region dependent goals due to infer varslcnr-1/+7
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-0/+4
2025-07-13Make sure that users don't take region obligations in a snapshotMichael Goulet-1/+3
2025-05-26RenameMichael Goulet-2/+2
2025-05-06support duplicates in the opaque_types_storagelcnr-0/+2
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+1
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-3/+4
2025-03-15Fold visit into tyMichael Goulet-1/+1
2025-03-15Squash fold into tyMichael Goulet-2/+4
2025-02-02Move `unify_key` module.Nicholas Nethercote-2/+2
2024-10-24Remove associated type based effects logicMichael Goulet-31/+3
2024-10-19refactor fudge_inference, handle effect varslcnr-121/+167
2024-10-07Reduce visibilities some more.Nicholas Nethercote-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+3
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-16/+11
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-2/+2
2024-04-15Remove ConstVariableOriginKindMichael Goulet-5/+4
2024-03-28compiler: fix few needless_pass_by_ref_mut clippy lintsklensy-3/+3
2024-03-07move snapshot handling into modlcnr-0/+560