path: root/Test/dafny0/JustWarnings.dfy.expect

JustWarnings.dfy(18,11): Warning: Shadowed type-parameter name: T
JustWarnings.dfy(13,6): Warning: Shadowed local-variable name: x

Dafny program verifier finished with 3 verified, 0 errors