---

yaml
---
r: 124119
b: refs/heads/master
c: 6867d91
h: refs/heads/master
i:
  124117: 5085aaf
  124115: 798eb67
  124111: 33668f9
v: v3

Author: bgamari

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: c6c1a22c563e0840f0efcccfe01a496114ac6ef0
+refs/heads/master: 6867d91d20a77ad9be4288829cedec2a8c2b72ba
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: afbcbbc77ffc6b10053bc543daf7d2e05d68cc01
 refs/heads/try: 296eb104620b346d88bc4a2c2ab7693e6d3db019

trunk/src/librustc/middle/kind.rs

@@ -87,7 +87,8 @@ fn check_struct_safe_for_destructor(cx: &mut Context,
                                     span: Span,
                                     struct_did: DefId) {
     let struct_tpt = ty::lookup_item_type(cx.tcx, struct_did);
-    if !struct_tpt.generics.has_type_params(subst::TypeSpace) {
+    if !struct_tpt.generics.has_type_params(subst::TypeSpace)
+      && !struct_tpt.generics.has_region_params(subst::TypeSpace) {
         let struct_ty = ty::mk_struct(cx.tcx, struct_did,
                                       subst::Substs::empty());
         if !ty::type_is_sendable(cx.tcx, struct_ty) {

trunk/src/librustc/middle/ty.rs

@@ -984,6 +984,10 @@ impl Generics {
     pub fn has_type_params(&self, space: subst::ParamSpace) -> bool {
         !self.types.is_empty_in(space)
     }
+
+    pub fn has_region_params(&self, space: subst::ParamSpace) -> bool {
+        !self.regions.is_empty_in(space)
+    }
 }
 
 /// When type checking, we use the `ParameterEnvironment` to track