akaptur · December 14, 2021 01:00
diff --git a/nominative.py b/nominative.py
 from dataclasses import dataclass 

 @dataclass
 class A:
   value: str

 @dataclass
 class B:
   value: str

 def my_func(obj: A) -> str:
    return obj.value

 my_func(B("hi")) #  error: Argument 1 to "my_func" has incompatible type "B"; expected "A"
	from dataclasses import dataclass

	@dataclass
	class A:
	value: str

	@dataclass
	class B:
	value: str

	def my_func(obj: A) -> str:
	return obj.value

	my_func(B("hi")) # error: Argument 1 to "my_func" has incompatible type "B"; expected "A"