Problem Steep casts untyped || something to bool type, but I think it is not the expected behavior. For example: # test.rb # @type var x: untyped a = _ = nil b = a || 42 b[0] # Steepfile target :l...