diff options
| author | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
|---|---|---|
| committer | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
| commit | b70ad7e5f3d524204fab88fe2a8c5a6fbef9e88e (patch) | |
| tree | d01119552b4963f58834f4f8af14b674cbd9773c /crates/ra_hir_ty/src/traits/builtin.rs | |
| parent | 58c007674b8c746beab371ca13fce951af6cd1f2 (diff) | |
Remove enableEnhancedTyping and type overriding infrastructure.
Diffstat (limited to 'crates/ra_hir_ty/src/traits/builtin.rs')
0 files changed, 0 insertions, 0 deletions