Draft modification to the @no_type_check section of the spec.
#1615
+10
−4
@no_type_check section of the spec.
#1615