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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions