Oli Scherer 9f09a5eb8b Resolve nested inference variables.
I attempted that with the previous code, but I misunderstdood how
`shallow_resolve` works.
2021-07-22 11:20:29 +00:00
..
2021-07-22 11:20:29 +00:00
2021-02-14 18:03:11 +03:00