fix: :: string annotation on quantified captures produces correct types#261
Merged
fix: :: string annotation on quantified captures produces correct types#261
:: string annotation on quantified captures produces correct types#261