Add check for ui_testing to new diagnostic

Author: George-lewis

compiler/rustc_ast_lowering/src/asm.rs

@@ -52,6 +52,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                     sym::asm_experimental_arch,
                     sp,
                     "inline assembly is not stable yet on this architecture",
+                    self.tcx.sess.opts.unstable_opts.ui_testing,
                 )
                 .emit();
             }
@@ -68,6 +69,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                 sym::asm_unwind,
                 sp,
                 "the `may_unwind` option is unstable",
+                self.tcx.sess.opts.unstable_opts.ui_testing,
             )
             .emit();
         }
@@ -183,6 +185,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                                 sym::asm_const,
                                 *op_sp,
                                 "const operands for inline assembly are unstable",
+                                sess.opts.unstable_opts.ui_testing,
                             )
                             .emit();
                         }

compiler/rustc_ast_lowering/src/expr.rs

@@ -81,7 +81,8 @@ impl<'hir> LoweringContext<'_, 'hir> {
                 }
                 ExprKind::Repeat(expr, count) => {
                     let expr = self.lower_expr(expr);
-                    let count = self.lower_array_length(count);
+                    let count =
+                        self.lower_array_length(count, self.tcx.sess.opts.unstable_opts.ui_testing);
                     hir::ExprKind::Repeat(expr, count)
                 }
                 ExprKind::Tup(elts) => hir::ExprKind::Tup(self.lower_exprs(elts)),
@@ -1627,6 +1628,7 @@ impl<'hir> LoweringContext<'_, 'hir> {
                         sym::coroutines,
                         span,
                         "yield syntax is experimental",
+                        self.tcx.sess.opts.unstable_opts.ui_testing,
                     )
                     .emit();
                 }

compiler/rustc_ast_lowering/src/lib.rs

@@ -1052,6 +1052,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                                 &mut err,
                                 &self.tcx.sess.parse_sess,
                                 sym::return_type_notation,
+                                self.tcx.sess.opts.unstable_opts.ui_testing,
                             );
                         }
                         err.emit();
@@ -1416,9 +1417,10 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                     }),
                 ))
             }
-            TyKind::Array(ty, length) => {
-                hir::TyKind::Array(self.lower_ty(ty, itctx), self.lower_array_length(length))
-            }
+            TyKind::Array(ty, length) => hir::TyKind::Array(
+                self.lower_ty(ty, itctx),
+                self.lower_array_length(length, self.tcx.sess.opts.unstable_opts.ui_testing),
+            ),
             TyKind::Typeof(expr) => hir::TyKind::Typeof(self.lower_anon_const(expr)),
             TyKind::TraitObject(bounds, kind) => {
                 let mut lifetime_bound = None;
@@ -2283,7 +2285,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
         self.expr_block(block)
     }
 
-    fn lower_array_length(&mut self, c: &AnonConst) -> hir::ArrayLen {
+    fn lower_array_length(&mut self, c: &AnonConst, ui_testing: bool) -> hir::ArrayLen {
         match c.value.kind {
             ExprKind::Underscore => {
                 if self.tcx.features().generic_arg_infer {
@@ -2294,6 +2296,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                         sym::generic_arg_infer,
                         c.value.span,
                         "using `_` for array lengths is unstable",
+                        ui_testing,
                     )
                     .stash(c.value.span, StashKey::UnderscoreForArrayLengths);
                     hir::ArrayLen::Body(self.lower_anon_const(c))