summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence/builtin.rs
AgeCommit message (Expand)AuthorLines
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
2024-04-16Prefer identity equality over equating types during coercion.Oli Scherer-22/+13
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-9/+12
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-7/+5
2024-02-13Just pass the checker instead of individual fieldsOli Scherer-39/+33
2024-02-13Remove an `impl_polarity` call where the information is already available in ...Oli Scherer-16/+23
2024-02-13Avoid using the HIR span in the happy pathOli Scherer-5/+8
2024-02-13Don't reinvoke `trait_header` query twiceOli Scherer-10/+10
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-09use `impl Trait` argument instead of generic param for simplicityOli Scherer-4/+5
2024-02-09No need for FnMut when FnOnce works nowOli Scherer-2/+2
2024-02-09Simplify conditional erroringOli Scherer-5/+1
2024-02-09Avoid accessing the HIR in the happy path of `coherent_trait`Oli Scherer-13/+16
2024-01-23Remove track_errors entirelyOli Scherer-63/+87
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-15/+15
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-10-20Adjust importsMichael Goulet-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-3/+5
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-2/+2
2023-09-20Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-122/+78
2023-09-11explain why DispatchFromDyn does the check it doesRalf Jung-0/+8
2023-08-29some more is_zst that should be is_1zstRalf Jung-2/+2
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-20/+18
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+5
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-05-16Remove `LangItems::require`Nilstrieb-3/+1