Do not error on let ref x: str = *"";

Author: estebank

compiler/rustc_hir_typeck/src/gather_locals.rs

@@ -105,24 +105,28 @@ impl<'a, 'tcx> GatherLocalsVisitor<'a, 'tcx> {
  .insert(hir_ty.hir_id, c_ty);
 
  let ty = o_ty.normalized;
- if let hir::PatKind::Wild = decl.pat.kind {
- // We explicitly allow `let _: dyn Trait;` (!)
- } else {
- if self.outermost_fn_param_pat.is_some() {
- if !self.fcx.tcx.features().unsized_fn_params {
- self.fcx.require_type_is_sized(
- ty,
- hir_ty.span,
- traits::SizedArgumentType(Some(decl.pat.hir_id)),
- );
- }
- } else {
- if !self.fcx.tcx.features().unsized_locals {
- self.fcx.require_type_is_sized(
- ty,
- hir_ty.span,
- traits::VariableType(decl.pat.hir_id),
- );
+ match decl.pat.kind {
+ // We explicitly allow `let _: dyn Trait;`
+ hir::PatKind::Wild => {}
+ // We explicitly allow `let ref x: str = *"";`
+ hir::PatKind::Binding(hir::BindingAnnotation(hir::ByRef::Yes(_), _), ..) => {}
+ _ => {
+ if self.outermost_fn_param_pat.is_some() {
+ if !self.fcx.tcx.features().unsized_fn_params {
+ self.fcx.require_type_is_sized(
+ ty,
+ hir_ty.span,
+ traits::SizedArgumentType(Some(decl.pat.hir_id)),
+ );
+ }
+ } else {
+ if !self.fcx.tcx.features().unsized_locals {
+ self.fcx.require_type_is_sized(
+ ty,
+ hir_ty.span,
+ traits::VariableType(decl.pat.hir_id),
+ );
+ }
  }
  }
  }

tests/ui/sized/let-ref-pat-unsized-works.rs

@@ -0,0 +1,4 @@
+//@ build-pass
+fn main() {
+ let ref x: str = *"";
+}