diff options
author | Florian Diebold <[email protected]> | 2019-06-29 18:14:52 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-07-08 20:20:17 +0100 |
commit | b1b12072eddaf989fb08ed7a2e39ec2dbbb83dde (patch) | |
tree | 63bb052a39df80dcd0771a18a7a475df3e6a5fe1 /.github | |
parent | 638100dc8bea69cc4093d15f1641ed39a8d27a43 (diff) |
Start handling environment in trait resolution
I.e. if we are inside a function with some where clauses, we assume these where
clauses hold.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions