rbs 4.1.2 → 4.1.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f78b675f663d8fde05a0f094b4ad2b63291d5df4468f43fc26517f464bdb4d5a
-  data.tar.gz: 0a41edf382b774592d67b7bdc9a933d1b4b266086b62753c39b482a6b8012a3c
+  metadata.gz: f90000891f13d57d27beb58a5176f5ff595e58628c51982dc18d985796bbb90d
+  data.tar.gz: 7f70e0544fa9c1b1312f1d4f0da5da4fa448bb651ced22f92bc8a6332507d501
 SHA512:
-  metadata.gz: 909a36fac1812760c1060e2320a64ff5949e40b8796a501359e565e83f8dab35b7ae8fbd78da91d437d1178bb22bdc173dbcc865288f9ea1047723e99c444e5a
-  data.tar.gz: 5ef6bd3a7e7709ebb2ca27c60c337b6618ae0cb9044df39446cb0ba56bf460e8f7656801302bc815988169a580e6aa162c1aac2236ca3e5ccf5d80e9e850092e
+  metadata.gz: 5b69502540c88356e2a22e89fe9931fe873421510b64004e7aec332cdb3393a0e75b72cdab2462f020efd9f3bd8b7d5b18b48b53b6ec133c09823c8c518e4536
+  data.tar.gz: 4598739801a2982e9517e34f11d64ab367a6cf70346866f8937fc44cf7496d4fc099b64510d966fc01c007421e63b07c5de59f17a33fa4140af0f5aa3f0a9193

data/CHANGELOG.md

@@ -1,5 +1,12 @@
 # CHANGELOG
 
+## 4.1.3 (2026-08-10)
+
+### Miscellaneous
+
+* Don't use Clang nullability qualifiers in strict ISO C mode ([#3074](https://github.com/ruby/rbs/pull/3074), Backported in [#3075](https://github.com/ruby/rbs/pull/3075))
+* Avoid eagerly inspecting call traces in type assertions ([#3073](https://github.com/ruby/rbs/pull/3073), Backported in [#3076](https://github.com/ruby/rbs/pull/3076))
+
 ## 4.1.2 (2026-08-03)
 
 ### Miscellaneous

data/include/rbs/defines.h

@@ -87,8 +87,13 @@
  * Nullability annotations for pointer types.
  * Clang supports _Nullable and _Nonnull to indicate whether a pointer may be NULL.
  * On other compilers, these expand to nothing.
+ *
+ * They are Clang extensions, so a strict ISO C compilation rejects them with
+ * `-Wnullability-extension`, which is an error under `-pedantic-errors`. Expand
+ * them to nothing in that case, so that embedders compiling these headers with a
+ * conforming dialect (`-std=c99` and friends define `__STRICT_ANSI__`) still build.
  */
-#ifdef __clang__
+#if defined(__clang__) && !defined(__STRICT_ANSI__)
 #define RBS_NULLABLE _Nullable
 #define RBS_NONNULL _Nonnull
 #else

data/lib/rbs/unit_test/type_assertions.rb

@@ -180,11 +180,11 @@ module RBS
           )
           errors = typecheck.method_call(method, method_type, trace, errors: [])
 
-          assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }, "Call trace does not match with given method type: #{trace.inspect}"
+          assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }, -> { "Call trace does not match with given method type: #{trace.inspect}" }
 
           method_defs = method_defs(method)
           all_errors = method_defs.map {|t| typecheck.method_call(method, t.type, trace, errors: [], annotations: t.each_annotation.to_a) }
-          assert all_errors.any? {|es| es.empty? }, "Call trace does not match one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}"
+          assert all_errors.any? {|es| es.empty? }, -> { "Call trace does not match one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}" }
 
           raise exception if exception
 
@@ -204,11 +204,11 @@ module RBS
           )
           errors = typecheck.method_call(method, method_type, trace, errors: [])
 
-          assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }, "Call trace does not match with given method type: #{trace.inspect}"
+          assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }, -> { "Call trace does not match with given method type: #{trace.inspect}" }
 
           method_defs = method_defs(method)
           all_errors = method_defs.map {|t| typecheck.method_call(method, t.type, trace, errors: [], annotations: t.each_annotation.to_a) }
-          assert all_errors.any? {|es| es.empty? }, "Call trace does not match one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}"
+          assert all_errors.any? {|es| es.empty? }, -> { "Call trace does not match one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}" }
 
           # Use `instnace_of?` instead of `is_a?` as we want to check for _the exact exception class_.
           assert exception.instance_of? error_type
@@ -246,7 +246,7 @@ module RBS
 
           method_defs = method_defs(method)
           all_errors = method_defs.map {|t| typecheck.method_call(method, t.type, trace, errors: [], annotations: t.each_annotation.to_a) }
-          assert all_errors.all? {|es| es.size > 0 }, "Call trace unexpectedly matches one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}"
+          assert all_errors.all? {|es| es.size > 0 }, -> { "Call trace unexpectedly matches one of method definitions:\n  #{trace.inspect}\n  #{method_defs.map(&:type).join(" | ")}" }
 
           result
         end

data/lib/rbs/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RBS
-  VERSION = "4.1.2"
+  VERSION = "4.1.3"
 end

data/sig/unit_test/type_assertions.rbs

@@ -30,11 +30,11 @@ module RBS
       type target_type = Types::ClassInstance | Types::ClassSingleton
 
       interface _BaseAssertions
-        def assert: (untyped, ?String?) -> void
+        def assert: (untyped, ?(String | ^() -> String)?) -> void
 
         def refute: (untyped, ?String?) -> void
 
-        def assert_empty: (untyped, ?String?) -> void
+        def assert_empty: (untyped, ?(String | ^() -> String)?) -> void
 
         def assert_operator: (untyped, Symbol, *untyped) -> void
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 4.1.2
+  version: 4.1.3
 platform: ruby
 authors:
 - Soutaro Matsumoto
@@ -649,7 +649,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 4.0.17
+rubygems_version: 4.0.18
 specification_version: 4
 summary: Type signature for Ruby.
 test_files: []