about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence/builtin.rs
AgeCommit message (Expand)AuthorLines
2025-09-15Remove UnsizedConstParamTy trait and make it into an unstable impltiif-12/+3
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-2/+4
2025-07-09Make AsyncDrop check that it's being implemented on a local ADTMichael Goulet-1/+5
2025-07-04Fix elided lifetimes in rustdocMichael Goulet-1/+1
2025-07-03Remove PointerLike traitMichael Goulet-99/+0
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+2
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-5/+5
2025-05-13Some require_lang_item -> is_lang_item replacementsOli Scherer-4/+2
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-4/+7
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-10/+10
2025-02-24Deduplicate CoerceUnsized and DispatchFromDyn impl errorsMichael Goulet-3/+13
2025-02-24Simplify trait error message for CoercePointee validationMichael Goulet-47/+69
2025-02-24Consolidate and rework CoercePointee and DispatchFromDyn errorsMichael Goulet-40/+27
2025-02-24More eagerly bail in DispatchFromDyn validationMichael Goulet-25/+22
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
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-4/+5
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
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-1/+1
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-20Explain why a type is not eligible for `impl PointerLike`.Kevin Reid-31/+69
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-1/+7
2024-11-20Make PointerLike opt-in as a traitMichael Goulet-14/+71
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+3
2024-10-29TypingMode :thinking:lcnr-3/+5
2024-10-24Plumb through param_env to note_type_errMichael Goulet-0/+1
2024-10-04Use wide pointers consistenly across the compilerUrgau-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-9/+8
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-1/+1
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/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+5
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-6/+15
2024-07-17Forbid `!Sized` types and referencesBoxy-8/+34
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+2
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 12:55:49 +0000