sorbet-runtime 0.4.4493 → 0.4.4494

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 75ebf9d436d6406fef983f5eb3051e3f3a33e92a
-  data.tar.gz: 7d4b6fc4cb63cc3fb5def893808a9f7490931cca
+  metadata.gz: fc2f18425d1a978318e882adfde65b3131f6f5b4
+  data.tar.gz: b27069b61f58c3fe2ce0676d89157d15963224c8
 SHA512:
-  metadata.gz: fe94a71f8b58ce23a9f063ea0b37dfc79466b30a0e348bbc252dc94935bf46baef6d253d8de295a3afba814425d5f2536e18714b35b68ee22fdf6dbe3535bd4f
-  data.tar.gz: efee703af351ec955db129b678f9c11594956444cd22645b92bb177081e371d3cfd6659a7b60e8e69f5567dd43f5871d5f92d18524d992a1d47992bc5ec3c5d6
+  metadata.gz: de7d056146ff86b29d97bf085e45e8026a65d69557792b90cd2374ba0ce20efadf3a72ec37e4808dd94863c600172de4b4bf8aa28264d59b0ce8b1ae40b28847
+  data.tar.gz: 7c3313b0aae49098b99ca494aef69615132e93edf3637eb565d7858af369759373678927a5cf9d9a93e3c66287a9b64c485b1be740f853ee00b7394797562ee1

data/lib/types/_types.rb

@@ -195,6 +195,24 @@ module T
     value
   end
 
+  # A way to ask Sorbet to prove that a certain branch of control flow never
+  # happens. Commonly used to assert that a case or if statement exhausts all
+  # possible cases.
+  def self.absurd(value)
+    msg = "Control flow reached T.absurd."
+
+    case value
+    when Kernel
+      msg += " Got value: #{value}"
+    end
+
+    begin
+      raise TypeError.new(msg)
+    rescue TypeError => e # raise into rescue to ensure e.backtrace is populated
+      T::Private::ErrorHandler.handle_inline_type_error(e)
+    end
+  end
+
   ### Generic classes ###
 
   module Array

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.4.4493
+  version: 0.4.4494
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-07-23 00:00:00.000000000 Z
+date: 2019-07-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest