blob: 161eb8423926601651ab514d7884837797d95535 [file]
Resolved to:
(in DeclSite) (psi: val x = 0)