FedericoBruzzone cef97bce7b Add TooGeneric variant to LayoutError and emit Unknown one ...

- `check-pass` test for a MRE of #135020
- fail test for #135138
- switch to `TooGeneric` for checking CMSE fn signatures
- switch to `TooGeneric` for compute `SizeSkeleton` (for transmute)
- fix broken tests

2025-01-27 00:37:34 +01:00

..

check

visit_x_unambig

2025-01-23 06:01:36 +00:00

coherence

Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr

2025-01-22 19:29:39 +01:00

collect

use fmt::from_fn in more places, instead of using structs that impl formatting traits

2025-01-24 14:45:56 +00:00

errors

Clarify implicit captures for RPITIT

2024-10-10 11:46:51 -07:00

hir_ty_lowering

Add TooGeneric variant to LayoutError and emit Unknown one

2025-01-27 00:37:34 +01:00

impl_wf_check

Fix const specialization

2024-12-02 22:21:53 +00:00

outlives

Implement const effect predicate in new solver

2024-10-24 09:46:36 +00:00

variance

Begin to implement type system layer of unsafe binders

2024-12-22 21:57:57 +00:00

autoderef.rs

Rename structurally_normalize to structurally_normalize_ty

2025-01-22 07:04:53 +00:00

bounds.rs

Merge HostPolarity and BoundConstness

2024-10-30 16:23:16 +00:00

check_unused.rs

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

collect.rs

visit_x_unambig

2025-01-23 06:01:36 +00:00

constrained_generic_params.rs

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

delegation.rs

Effects cleanup

2024-10-26 10:19:07 +08:00

errors.rs

remove support for the #[start] attribute

2025-01-21 06:59:15 -07:00

hir_wf_check.rs

visit_x_unambig

2025-01-23 06:01:36 +00:00

impl_wf_check.rs

footnote to ordinary comment

2025-01-06 07:37:52 +01:00

lib.rs

use fmt::from_fn in more places, instead of using structs that impl formatting traits

2025-01-24 14:45:56 +00:00