self-type.md

id	title
self-type	T.self_type

TODO: This page is still a fragment. Contributions welcome!

Warning: This feature is experimental and has known limitations. It may not work as expected or change without notice.

T.self_type

This type can be used in return types to indicate that calling this method on will return the same type as the type of the receiver (the receiver is the thing we call a method on i.e., x in x.foo). For instance, #dup returns T.self_type. No matter what class you call it on, you will get back the same type.

# typed: true

class Parent
  extend T::Sig

  sig {returns(T.self_type)}
  def foo
    self
  end
end

class Child < Parent; end

T.reveal_type(Parent.new.foo) # Revealed type: Parent
T.reveal_type(Child.new.foo) # Revealed type: Child

module Mixin
  extend T::Sig

  sig {returns(T.self_type)}
  def bar
    self
  end
end

class UsesMixin
  extend Mixin
end

T.reveal_type(UsesMixin.bar) # Revealed type: T.class_of(UsesMixin)

Certain advanced use cases of T.self_type are not supported:

class Generic < Parent
  extend T::Generic
  TM = type_member

  sig {returns(Generic[T.self_type])} # error: Only top-level T.self_type is supported
  def bad
    Generic[T.untyped].new
  end
end