aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-04-15 10:29:36 +0100
committerGitHub <[email protected]>2020-04-15 10:29:36 +0100
commit1e0ba04033df87d6966140f74c2f63d0e143fb63 (patch)
tree1e74385af4f803b04943a47cb40d0abd9d76e41d /crates/ra_hir_ty/src/traits
parentd61909f9047ba94c4ed9af580193958257ab21e6 (diff)
parentc8b2ec8c20be44ae19d15e90ff812745f029899e (diff)
parent464af68ec56b1b35151acc3b53eea3d3d67e03d3 (diff)
Merge #3966 #3968
3966: Add support for bounds on associated types in trait definitions r=matklad a=flodiebold E.g. ```rust trait Trait { type Item: SomeOtherTrait; } ``` Note that these don't simply desugar to where clauses; as I understand it, where clauses have to be proved by the *user* of the trait, but these bounds are proved by the *implementor*. (Also, where clauses on associated types are unstable.) (Another one from my recursive solver branch...) 3968: Remove format from syntax_bridge hot path r=matklad a=edwin0cheng Although only around 1% speed up by running: ``` Measure-Command {start-process .\target\release\rust-analyzer "analysis-stats -q ." -NoNewWindow -wait} ``` Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: Edwin Cheng <[email protected]>