summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2025-02-11Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compi...Matthias Krüger-0/+33
2025-02-09move repr(transparent) checks to coherenceDing Xiang Fei-0/+3
2025-02-09rename the trait to validity and place a feature gate afrontDing Xiang Fei-8/+10
2025-02-09introduce CoercePointeeWellformed for coherence checks at typeck stageDing Xiang Fei-0/+28
2025-02-08Rustfmtbjorn3-8/+12
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-3/+3
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-2/+1
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-2/+1
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-6/+6
2025-01-31Merge two `match` arms that are identical.Nicholas Nethercote-11/+6
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-5/+2
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-4/+4
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-2/+1
2025-01-22Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnrMatthias Krüger-1/+1
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-1/+1
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-1/+1
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+2
2025-01-14Normalize field before checking PhantomData in coerce/dispatch impl validationMichael Goulet-3/+20
2025-01-08Don't allow DispatchFromDyn impls that transmute ZST to non-ZSTMichael Goulet-13/+13
2025-01-08Don't allow transmuting ZSTs in dispatch_from_dyn implMichael Goulet-4/+13
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+4
2024-12-20Explain why a type is not eligible for `impl PointerLike`.Kevin Reid-31/+69
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-1/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-9/+37
2024-11-20Make PointerLike opt-in as a traitMichael Goulet-14/+71
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+3
2024-10-29TypingMode :thinking:lcnr-5/+7
2024-10-24Plumb through param_env to note_type_errMichael Goulet-0/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-5/+5
2024-10-15Rollup merge of #131328 - ismailarilik:remove-unnecessary-sorts-in-rustc-hir-...Matthias Krüger-3/+1
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-1/+1
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-1/+1
2024-10-06Remove unnecessary sorts in `rustc_hir_analysis`.ismailarilik-3/+1
2024-10-04Use wide pointers consistenly across the compilerUrgau-1/+1
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-2/+2
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-8/+9
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-8/+9
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-19/+24
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-22/+18
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-11/+9
2024-09-11Simplify some nested if statementsMichael Goulet-11/+9
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-1/+1
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-2/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-2/+3
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+4
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-6/+12
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1