# typed: strict
# TODO enable on the fast path

class DefaultBad < T::Struct
  prop :foo, Integer, default: "bad"
  #     ^^^ error: Argument does not have asserted type `Integer`
  #                            ^^^^^ error: Argument does not have asserted type `Integer`
end
