rust/compiler
Dylan DPC ecae3d74e2
Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr
Move abstract const to middle

Moves AbstractConst (and all associated methods) to rustc middle for use in `rustc_infer`.
This allows for const resolution in infer to use abstract consts to walk consts and check if
they are resolvable.

This attempts to resolve the issue where `Foo<{ concrete const }, generic T>` is incorrectly marked as conflicting, and is independent from the other issue where nested abstract consts must be resolved.

r? `@lcnr`
2022-07-14 19:24:04 +05:30
..
rustc Don't rerun the build script for the compiler each time on linux 2022-07-10 23:57:25 -05:00
rustc_apfloat
rustc_arena
rustc_ast Add back expr size checks 2022-07-12 21:00:13 +04:00
rustc_ast_lowering Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00
rustc_ast_passes Parse closure binders 2022-07-12 16:25:16 +04:00
rustc_ast_pretty Parse closure binders 2022-07-12 16:25:16 +04:00
rustc_attr
rustc_borrowck Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00
rustc_builtin_macros Rollup merge of #98580 - PrestonFrom:issue_98466, r=estebank 2022-07-14 19:24:03 +05:30
rustc_codegen_cranelift Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_codegen_gcc Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_codegen_llvm Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_codegen_ssa Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_const_eval Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_data_structures
rustc_driver Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_error_codes
rustc_error_messages use subdiagnostic for message 2022-07-10 23:43:46 +00:00
rustc_errors Rollup merge of #99075 - danobi:dup_type_hint_sugg, r=petrochenkov 2022-07-11 22:39:05 +02:00
rustc_expand Rollup merge of #98580 - PrestonFrom:issue_98466, r=estebank 2022-07-14 19:24:03 +05:30
rustc_feature Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_fs_util
rustc_graphviz
rustc_hir Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_hir_pretty Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_incremental Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_index
rustc_infer Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr 2022-07-14 19:24:04 +05:30
rustc_interface Rollup merge of #98580 - PrestonFrom:issue_98466, r=estebank 2022-07-14 19:24:03 +05:30
rustc_lexer
rustc_lint Rollup merge of #98580 - PrestonFrom:issue_98466, r=estebank 2022-07-14 19:24:03 +05:30
rustc_lint_defs Emit warning when named arguments are used positionally in format 2022-07-13 15:34:10 -06:00
rustc_llvm llvm-wrapper: adapt for LLVM API change 2022-07-12 16:00:52 +00:00
rustc_log
rustc_macros Use dashes instead of underscores in fluent names 2022-07-08 03:37:36 +00:00
rustc_metadata Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr 2022-07-14 19:24:04 +05:30
rustc_middle Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr 2022-07-14 19:24:04 +05:30
rustc_mir_build Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00
rustc_mir_dataflow Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_mir_transform Auto merge of #98975 - jyn514:unstable_opts, r=wesleywiser 2022-07-14 08:14:31 +00:00
rustc_monomorphize Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_parse Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_parse_format
rustc_passes Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00
rustc_plugin_impl
rustc_privacy Move abstract const to rustc_middle::ty 2022-07-12 02:21:31 +00:00
rustc_query_impl Move abstract const to rustc_middle::ty 2022-07-12 02:21:31 +00:00
rustc_query_system Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_resolve Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_save_analysis Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillot 2022-07-14 14:14:21 +05:30
rustc_serialize
rustc_session Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
rustc_smir
rustc_span Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00
rustc_symbol_mangling
rustc_target rustc_target: Flip the default for TargetOptions::executables to true 2022-07-11 23:23:51 +03:00
rustc_trait_selection Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr 2022-07-14 19:24:04 +05:30
rustc_traits
rustc_ty_utils Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr 2022-07-14 19:24:04 +05:30
rustc_type_ir Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser 2022-07-08 17:55:26 +00:00
rustc_typeck Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPC 2022-07-14 11:00:30 +00:00