   }
 
   @inline(__always) public subscript(a: Int, b: Int) -> Int {
-    let ALLNOTYPECHECK_local = 1
-    let INLINENOTYPECHECK_local = 1
+    let NEVERTYPECHECK_local = 1
     _blackHole("@inline(__always) subscript getter") // CHECK-NOT: "@inline(__always) subscript getter"
     return 0
   }

@_fixed_layout
public class InlineAlwaysDeinit {
  @inline(__always) deinit {
    let ALLNOTYPECHECK_local = 1
    let INLINENOTYPECHECK_local = 1
    _blackHole("@inline(__always) deinit body") // CHECK-NOT: "@inline(__always) deinit body"
  }
}

public class NormalDeinit {
  deinit {
    let ALLNOTYPECHECK_local = 1
    let INLINENOTYPECHECK = 1
    _blackHole("regular deinit body") // CHECK-NOT: "regular deinit body"
  }
}


  @inline(__always)
  public func inlineAlwaysFunc() {
    let NEVERTYPECHECK_local = 1
    _blackHole("@inline(__always) method body") // CHECK-NOT: "@inline(__always) method body"
  }

