diff options
| author | Florian Diebold <[email protected]> | 2019-09-03 12:10:00 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-09-03 13:00:35 +0100 |
| commit | b8c1e402fa3a40c7e979750d60d7b003f9cb7b0d (patch) | |
| tree | ddd1737a8e3f46fb8757bad1d8024469d3bf0a89 /website/website-gen/src/main.rs | |
| parent | c4fcfa2b0d516b9790fa8abdf96bb2308657d60a (diff) | |
Make type walking infrastructure a bit nicer
If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold`
trait, but I didn't want to import the whole thing just yet.
Diffstat (limited to 'website/website-gen/src/main.rs')
0 files changed, 0 insertions, 0 deletions