rust/compiler/rustc_ty_utils/src
Matthias Krüger 36c2b011cb
Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead
New const traits syntax

This PR only affects the AST and doesn't actually change anything semantically.

All occurrences of `~const` outside of libcore have been replaced by `[const]`. Within libcore we have to wait for rustfmt to be bumped in the bootstrap compiler. This will happen "automatically" (when rustfmt is run) during the bootstrap bump, as rustfmt converts `~const` into `[const]`. After this we can remove the `~const` support from the parser

Caveat discovered during impl: there is no legacy bare trait object recovery for `[const] Trait` as that snippet in type position goes down the slice /array parsing code and will error

r? ``@fee1-dead``

cc ``@nikomatsakis`` ``@traviscross`` ``@compiler-errors``
2025-06-27 22:13:00 +02:00
..
layout move expensive layout sanity check to debug assertions 2025-05-15 14:05:02 +00:00
abi.rs Remove all support for wasm's legacy ABI 2025-06-14 09:57:06 +00:00
assoc.rs Remove global next_disambiguator state and handle it with a DisambiguatorState type 2025-04-29 13:22:38 +02:00
common_traits.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00
consts.rs Add #[loop_match] for improved DFA codegen 2025-06-23 20:43:04 +02:00
errors.rs Implement .use keyword as an alias of clone 2025-03-06 17:58:32 -03:00
implied_bounds.rs Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgr 2025-04-09 05:39:18 +00:00
instance.rs Rename Instance::new to Instance::new_raw and add a note that it is raw 2025-05-05 13:17:35 +00:00
layout.rs apply clippy::or_fun_call 2025-06-17 13:59:53 +03:00
lib.rs update cfg(bootstrap) 2025-05-12 15:33:37 +02:00
needs_drop.rs AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added. 2025-04-28 16:23:13 +07:00
nested_bodies.rs borrowck nested items in dead code 2025-05-02 18:45:28 +00:00
opaque_types.rs Support opaque_types_defined_by for SyntheticCoroutineBody 2025-05-26 12:19:34 +00:00
representability.rs Rename unpack to kind 2025-05-27 11:14:45 +00:00
sig_types.rs Restrict some queries by def-kind more 2025-04-07 18:10:28 +00:00
structural_match.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00
ty.rs Change const trait bound syntax from ~const to [const] 2025-06-26 13:46:45 +00:00