Closed julien-truffaut closed 3 years ago
This PR is to illustarte an issue with permissions of Getter/Setter Impl.
Getter
Setter
Currently, val getter = GetManyImpl((x: List[Int]) => x) infers ThisCan = Nothing while it should infer GetMany.
val getter = GetManyImpl((x: List[Int]) => x)
ThisCan = Nothing
GetMany
Similarly, NoGetter should use ThisCan = Any
NoGetter
ThisCan = Any
This one is out of date now
kenbot
commented
3 years ago kenbot
commented
3 years ago
This PR is to illustarte an issue with permissions of
Getter/SetterImpl.Currently,
val getter = GetManyImpl((x: List[Int]) => x)infersThisCan = Nothingwhile it should inferGetMany.Similarly,
NoGettershould useThisCan = Any