about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/outlives_bounds.rs
AgeCommit message (Expand)AuthorLines
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-2/+16
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-90/+106
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-2/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-15unify query canonicalization modeAli MJ Al-Nasrawy-2/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-16ignore implied bounds with placeholdersAli MJ Al-Nasrawy-2/+6
2023-09-05 unconstrained region vars: do not ICE ICE babylcnr-9/+5
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+2
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-05-27Don't use outlives type op outside of MIR typeckMichael Goulet-14/+23
2023-05-25Use ErrorGuaranteed more in MIR type opsMichael Goulet-8/+4
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-15Update compiler/rustc_trait_selection/src/traits/outlives_bounds.rsAli MJ Al-Nasrawy-2/+3
2023-04-14implement review suggestionsEzra Shaw-2/+3
2023-04-13fix: skip implied bounds if unconstrained lifetime existsEzra Shaw-1/+10
2023-04-01use and_then/flat_map for map().flatten()Matthias Krüger-3/+1
2023-03-26resolve regions before implied boundsAli MJ Al-Nasrawy-5/+7
2023-03-21remove some trait solver helperslcnr-13/+14
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-7/+5
2023-03-09resolve regions before implied boundsAli MJ Al-Nasrawy-5/+7
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-7/+6
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-3/+3
2022-11-02Use TraitEngine lessMichael Goulet-11/+11
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-09-19improve infer var handling for implied boundslcnr-1/+2
2022-08-23Move InferCtxtExt to rustc_trait_selectionSantiago Pastorino-0/+114