user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/compiler
History
bors 014bd8290f Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 
Implement unstable trait impl

This PR allows marking impls of stable trait with stable type as unstable.

## Approach

In std/core, an impl can be marked as unstable by annotating it with ``#[unstable_feature_bound(feat_name)]``. This will add a ``ClauseKind::Unstable_Feature(feat_name)`` to the list of predicates in ``predicates_of`` .

When an unstable impl's function is called, we will first iterate through all the goals in ``param_env`` to check if there is any ``ClauseKind::UnstableFeature(feat_name)`` in ``param_env``.

The existence of ``ClauseKind::Unstable_Feature(feat_name)`` in ``param_env`` means an``#[unstable_feature_bound(feat_name)]`` is present at the call site of the function, so we allow the check to succeed in this case.

If ``ClauseKind::UnstableFeature(feat_name)`` does not exist in ``param_env``, we will still allow the check to succeed for either of the cases below:
1. The feature is enabled through ``#[feature(feat_name)]`` outside of std / core.
2. We are in codegen because we may be monomorphizing a body from an upstream crate which had an unstable feature enabled that the downstream crate do not.

For the rest of the case, it will fail with ambiguity.

## Limitation

In this PR, we do not support:
1. using items that need ``#[unstable_feature_bound]`` within stable APIs
2. annotate main function with ``#[unstable_feature_bound]``
3. annotate ``#[unstable_feature_bound]`` on items other than free function and impl

## Acknowledgement
The design and mentoring are done by `@BoxyUwU`
2025-07-17 01:57:55 +00:00
..
rustc rename stable_mir to rustc_public, and rustc_smir to rustc_public_bridge 2025-07-14 09:25:54 +00:00
rustc_abi Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubilee 2025-07-07 17:28:14 +00:00
rustc_arena Introduce Arena::try_alloc_from_iter. 2025-04-19 01:13:18 +00:00
rustc_ast Define datastructures for #[cfg] attribute, move StrippedCfgItem 2025-07-15 09:01:00 +02:00
rustc_ast_ir Use -Wunused_crate_dependencies for compiler crates. 2025-03-20 08:59:43 +11:00
rustc_ast_lowering Allow Early stage to emit errors 2025-07-15 09:01:03 +02:00
rustc_ast_passes compiler: rename {ast,hir}::BareFn* to FnPtr* 2025-07-06 15:03:08 -07:00
rustc_ast_pretty fix: Include frontmatter in -Zunpretty output 2025-07-10 10:26:02 -05:00
rustc_attr_data_structures Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_attr_parsing Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_baked_icu_data Add unreachable_pub to RUSTC_LINT_FLAGS for compiler/ crates. 2025-03-11 13:14:21 +11:00
rustc_borrowck Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnr 2025-07-14 18:05:47 +02:00
rustc_builtin_macros Auto merge of #143958 - samueltardieu:rollup-lh1s143, r=samueltardieu 2025-07-15 11:42:55 +00:00
rustc_codegen_cranelift Add opaque TypeId handles for CTFE 2025-07-09 16:37:11 +00:00
rustc_codegen_gcc Auto merge of #142911 - mejrs:unsized, r=compiler-errors 2025-07-11 05:27:32 +00:00
rustc_codegen_llvm Rollup merge of #143920 - oli-obk:cg-llvm-safety, r=jieyouxu 2025-07-16 17:06:40 +02:00
rustc_codegen_ssa Rollup merge of #143920 - oli-obk:cg-llvm-safety, r=jieyouxu 2025-07-16 17:06:40 +02:00
rustc_const_eval Rollup merge of #143968 - Stypox:tracing-FnAbiOf, r=RalfJung 2025-07-16 17:06:43 +02:00
rustc_data_structures Fix wrong cache event query key 2025-07-07 15:16:42 +02:00
rustc_driver Remove recursion_limit increases. 2025-04-02 16:25:27 +11:00
rustc_driver_impl rename stable_mir to rustc_public, and rustc_smir to rustc_public_bridge 2025-07-14 09:25:54 +00:00
rustc_error_codes New example for E0536 2025-07-15 09:21:27 +02:00
rustc_error_messages Remove unused feature gates 2025-06-28 23:36:46 +00:00
rustc_errors Rollup merge of #143661 - Muscraft:other-suggestion-message, r=estebank 2025-07-11 07:35:20 +02:00
rustc_expand Define attribute parser & config evaluator 2025-07-15 09:21:26 +02:00
rustc_feature Implement other logics 2025-07-15 13:48:30 +00:00
rustc_fluent_macro Remove all unused feature gates from the compiler 2025-06-08 14:50:42 +00:00
rustc_fs_util Retry if creating temp fails with access denied 2025-04-25 11:28:36 +00:00
rustc_graphviz Remove #![warn(unreachable_pub)] from all compiler/ crates. 2025-03-11 13:14:21 +11:00
rustc_hashes Revert "Use workspace lints for crates in compiler/ #138084" 2025-03-10 18:12:47 +08:00
rustc_hir resolve: Merge NameBindingKind::Module into NameBindingKind::Res 2025-07-16 08:28:17 +03:00
rustc_hir_analysis Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_hir_pretty Retire hir::*ItemRef. 2025-07-13 13:50:01 +00:00
rustc_hir_typeck Implement other logics 2025-07-15 13:48:30 +00:00
rustc_incremental Auto merge of #139758 - Zoxc:thread-local-graph, r=oli-obk 2025-05-07 12:39:54 +00:00
rustc_index use div_ceil instead of manual logic 2025-07-05 10:55:42 +02:00
rustc_index_macros In rustc_mir_tranform, iterate over index newtypes instead of ints 2025-04-12 11:53:07 +00:00
rustc_infer Simplify make_query_region_constraints 2025-07-13 19:22:17 +00:00
rustc_interface Avoid building C++ for rustc_llvm with --compile-time-deps 2025-07-11 13:32:03 +00:00
rustc_lexer test(lexer): Add frontmatter unit test 2025-07-10 10:25:29 -05:00
rustc_lint Implement other logics 2025-07-15 13:48:30 +00:00
rustc_lint_defs Auto merge of #140717 - mejrs:diagnostic_lints, r=oli-obk 2025-07-13 01:11:56 +00:00
rustc_llvm Avoid building C++ for rustc_llvm with --compile-time-deps 2025-07-11 13:32:03 +00:00
rustc_log Add documentation for init_logger_with_additional_layer 2025-06-12 12:11:15 +02:00
rustc_macros Fix line break after ":" in unpretty attribute print 2025-07-06 09:51:47 +02:00
rustc_metadata resolve: Merge NameBindingKind::Module into NameBindingKind::Res 2025-07-16 08:28:17 +03:00
rustc_middle Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_mir_build Auto merge of #143779 - JonathanBrouwer:automatically_derived_parser, r=oli-obk 2025-07-14 04:29:53 +00:00
rustc_mir_dataflow Remove support for SwitchInt edge effects in backward dataflow analyses 2025-07-11 10:56:50 +02:00
rustc_mir_transform Propagate from borrowed locals in CopyProp 2025-07-10 09:36:20 +02:00
rustc_monomorphize Add opaque TypeId handles for CTFE 2025-07-09 16:37:11 +00:00
rustc_next_trait_solver Add the core logic in old and new solvers 2025-07-15 13:48:30 +00:00
rustc_parse Auto merge of #143958 - samueltardieu:rollup-lh1s143, r=samueltardieu 2025-07-15 11:42:55 +00:00
rustc_parse_format update to literal-escaper 0.0.4 for better API without unreachable and faster string parsing 2025-06-23 06:36:22 +00:00
rustc_passes Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_pattern_analysis only check for mixed deref/normal constructors when needed 2025-07-04 23:47:31 -07:00
rustc_privacy Implement other logics 2025-07-15 13:48:30 +00:00
rustc_proc_macro update to literal-escaper 0.0.4 for better API without unreachable and faster string parsing 2025-06-23 06:36:22 +00:00
rustc_public Implement other logics 2025-07-15 13:48:30 +00:00
rustc_public_bridge rename stable_mir to rustc_public, and rustc_smir to rustc_public_bridge 2025-07-14 09:25:54 +00:00
rustc_query_impl Remove unused allow attrs 2025-07-07 12:58:16 +00:00
rustc_query_system use is_multiple_of instead of manual modulo 2025-07-05 10:55:35 +02:00
rustc_resolve resolve: Optimize fn traits_in_module 2025-07-16 08:30:48 +03:00
rustc_sanitizers Remove support for dyn* 2025-07-01 19:00:21 +00:00
rustc_serialize use div_ceil instead of manual logic 2025-07-05 10:55:42 +02:00
rustc_session Fix CI 2025-07-15 13:48:30 +00:00
rustc_span Implement other logics 2025-07-15 13:48:30 +00:00
rustc_symbol_mangling Remove support for dyn* 2025-07-01 19:00:21 +00:00
rustc_target stabilize -Clinker-features=-lld on x64 linux 2025-07-08 09:04:21 +00:00
rustc_thread_pool Correct comments. 2025-06-28 17:58:21 +08:00
rustc_trait_selection Implement other logics 2025-07-15 13:48:30 +00:00
rustc_traits Implement other logics 2025-07-15 13:48:30 +00:00
rustc_transmute compiler: Parse p- specs in datalayout string, allow definition of custom default data address space 2025-07-07 09:04:53 +02:00
rustc_ty_utils Retire hir::*ItemRef. 2025-07-13 13:50:01 +00:00
rustc_type_ir Auto merge of #140399 - tiif:unstable_impl, r=lcnr,BoxyUwU 2025-07-17 01:57:55 +00:00
rustc_type_ir_macros Split TypeFolder and FallibleTypeFolder 2025-04-15 18:30:35 +00:00