rigortype 0.3.2 → 0.3.3

data/lib/rigor/type/nominal.rb

@@ -3,6 +3,7 @@
 require_relative "../trinary"
 require_relative "../value_semantics"
 require_relative "acceptance_router"
+require_relative "anonymous_class_name"
 require_relative "plain_lattice"
 
 module Rigor
@@ -35,13 +36,15 @@ module Rigor
       end
 
       def describe(verbosity = :short)
-        return class_name if type_args.empty?
+        rendered_name = AnonymousClassName.display(class_name)
+        return rendered_name if type_args.empty?
 
         rendered = type_args.map { |t| t.describe(verbosity) }.join(", ")
-        "#{class_name}[#{rendered}]"
+        "#{rendered_name}[#{rendered}]"
       end
 
       def erase_to_rbs
+        return "untyped" if AnonymousClassName.match?(class_name)
         return class_name if type_args.empty?
 
         rendered = type_args.map(&:erase_to_rbs).join(", ")

data/lib/rigor/type/singleton.rb

@@ -3,6 +3,7 @@
 require_relative "../trinary"
 require_relative "../value_semantics"
 require_relative "acceptance_router"
+require_relative "anonymous_class_name"
 require_relative "plain_lattice"
 
 module Rigor
@@ -26,10 +27,12 @@ module Rigor
       end
 
       def describe(_verbosity = :short)
-        "singleton(#{class_name})"
+        "singleton(#{AnonymousClassName.display(class_name)})"
       end
 
       def erase_to_rbs
+        return "untyped" if AnonymousClassName.match?(class_name)
+
         "singleton(#{class_name})"
       end
 

data/lib/rigor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Rigor
-  VERSION = "0.3.2"
+  VERSION = "0.3.3"
 end

data/sig/rigor/scope.rbs

@@ -19,6 +19,7 @@ module Rigor
     attr_reader method_chain_narrowings: Hash[ChainKey, Type::t]
     attr_reader source_path: String?
     attr_reader struct_fold_safe_locals: Set[Symbol]
+    attr_reader opaque_block_self: bool
 
     # ADR-53 Track A — the seed-time discovery tables live on the
     # DiscoveryIndex; Scope keeps per-table readers as delegates.
@@ -90,6 +91,8 @@ module Rigor
     def with_source_path: (String? path) -> Scope
     def with_struct_fold_safe: (Set[Symbol] locals) -> Scope
     def struct_fold_safe?: (String | Symbol name) -> bool
+    def entering_opaque_block: () -> Scope
+    def opaque_block_self?: () -> bool
     def with_discovery: (DiscoveryIndex index) -> Scope
     def local: (String | Symbol name) -> Type::t?
     def ivar: (String | Symbol name) -> Type::t?
@@ -123,6 +126,7 @@ module Rigor
     def singleton_def_for: (String | Symbol class_name, String | Symbol method_name) -> untyped?
     def user_def_site_for: (String | Symbol class_name, String | Symbol method_name) -> String?
     def top_level_def_for: (String | Symbol method_name) -> untyped?
+    def bindable_top_level_def_for: (String | Symbol method_name) -> untyped?
     def toplevel?: () -> bool
     def discovered_method_visibility: (String | Symbol class_name, String | Symbol method_name) -> Symbol?
     def superclass_of: (String | Symbol class_name) -> String?

data/sig/rigor.rbs

@@ -58,6 +58,10 @@ module Rigor
       # `node` / `location` are Prism values, received as `untyped`).
       def self.from_node: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
       def self.from_location: (untyped location, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
+      # `from_message_loc` / `from_name_loc` forward `**` to `from_location`, so their keyword surface is
+      # `from_location`'s; only the positional node differs.
+      def self.from_message_loc: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
+      def self.from_name_loc: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
     end
 
     class Result

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.2
+  version: 0.3.3
 platform: ruby
 authors:
 - Rigor contributors
@@ -397,6 +397,7 @@ files:
 - lib/rigor/analysis/check_rules.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
+- lib/rigor/analysis/check_rules/declaration_sourced_guard.rb
 - lib/rigor/analysis/check_rules/duplicate_hash_key_collector.rb
 - lib/rigor/analysis/check_rules/inferred_param_guard.rb
 - lib/rigor/analysis/check_rules/ivar_write_collector.rb
@@ -534,6 +535,7 @@ files:
 - lib/rigor/flow_contribution/merge_result.rb
 - lib/rigor/flow_contribution/merger.rb
 - lib/rigor/inference/acceptance.rb
+- lib/rigor/inference/anonymous_meta_class.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/body_fixpoint.rb
 - lib/rigor/inference/budget_trace.rb
@@ -614,6 +616,7 @@ files:
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/receiver_alias.rb
 - lib/rigor/inference/scope_indexer.rb
+- lib/rigor/inference/singleton_object_constant.rb
 - lib/rigor/inference/statement_evaluator.rb
 - lib/rigor/inference/struct_fold_safety.rb
 - lib/rigor/inference/synthetic_method.rb
@@ -715,6 +718,7 @@ files:
 - lib/rigor/type.rb
 - lib/rigor/type/acceptance_router.rb
 - lib/rigor/type/accepts_result.rb
+- lib/rigor/type/anonymous_class_name.rb
 - lib/rigor/type/app.rb
 - lib/rigor/type/bot.rb
 - lib/rigor/type/bound_method.rb