diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-06 20:28:28 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-06 20:28:28 +0000 |
commit | f18b7e18c479144325ec150be00837aae3329ae2 (patch) | |
tree | 2c8fbda35c5d9f43b70fe3c6e91ce3e4a8bb3226 /crates/ra_syntax/src/algo.rs | |
parent | d3702c02cdff158f05d2af1bd7106cca8a3e4ba9 (diff) | |
parent | 8c86963d47953045f2f33ee6620d305a6589641e (diff) |
Merge #2484
2484: DynMap r=matklad a=matklad
Implement a `DynMap` a semi-dynamic, semi-static map, which helps to thread heterogeneously typed info in a uniform way. Totally inspired by https://github.com/JetBrains/kotlin/blob/df3bee30384787d8951ea548a4257c2cb52a16a3/compiler/frontend/src/org/jetbrains/kotlin/resolve/BindingContext.java.
@flodiebold wdyt? Seems like a potentially useful pattern for various source-map-like things.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/algo.rs')
0 files changed, 0 insertions, 0 deletions