Closed suguruwataru closed 4 months ago
As a convenience method for creating a Bound from a group, this wrong type annotation makes it less convenient... Type check wrongly complains about passing a Group where a Bound is expected and we don't get completion on Bound's members.
Group
Bound
https://github.com/williamngan/pts/blob/47de4b76ce6a24892c2c7e2b155c09a18e1d5b7e/src/Pt.ts#L946-L947
As a convenience method for creating a Bound from a group, this wrong type annotation makes it less convenient... Type check wrongly complains about passing a
Groupwhere aBoundis expected and we don't get completion onBound's members.https://github.com/williamngan/pts/blob/47de4b76ce6a24892c2c7e2b155c09a18e1d5b7e/src/Pt.ts#L946-L947