about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/compare_impl_item/refine.rs
AgeCommit message (Expand)AuthorLines
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-2/+2
2025-01-31Remove an unnecessary lifetime from `RemapLateParam`.Nicholas Nethercote-2/+1
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-7/+1
2024-12-18introduce `LateParamRegionKind`lcnr-3/+8
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-1/+1
2024-11-23no more Reveal :(lcnr-2/+2
2024-11-18Check use<..> in RPITIT for refinementMichael Goulet-1/+101
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-10-10Don't fire refinement lint if there are errorsMichael Goulet-0/+4
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-1/+1
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-1/+1
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-22Don't trigger refinement lint if predicates reference errorsMichael Goulet-1/+6
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+4
2024-06-25delay bug in RPITIT refinement checking with resolution errorsRémy Rakic-4/+4
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-03-16Rollup merge of #121720 - tmandry:split-refining, r=compiler-errorsLeón Orell Valerian Liehr-16/+17
2024-03-05Split refining_impl_trait lint into _reachable, _internal variantsTyler Mandry-16/+17
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-7/+3
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-5/+9
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-8/+4
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-0/+9
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-6/+3
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-1/+1
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+1
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-13/+4
2023-12-28Fix some commentscuishuang-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-15Annotate some bugsMichael Goulet-2/+5
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-3/+3
2023-11-25is_{some,ok}_andMichael Goulet-1/+1
2023-09-29Only trigger refine lint on reachable traitsMichael Goulet-2/+6
2023-09-26Anonymize binders for refining_impl_trait checkMichael Goulet-4/+25
2023-09-07Don't emit refining_impl_trait for private itemsMichael Goulet-0/+28
2023-09-07Use self instead of the actual self tyMichael Goulet-3/+15
2023-09-07Implement refinement lint for RPITITMichael Goulet-0/+271
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 02:28:56 +0000