aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/Cargo.toml
Commit message (Collapse)AuthorAgeFilesLines
* Implement Chalk's debug methods using TLSFlorian Diebold2020-04-101-0/+2
| | | | | | | | | | Chalk now panics if we don't implement these methods and run with CHALK_DEBUG, so I thought I'd try to implement them 'properly'. Sadly, it seems impossible to do without transmuting lifetimes somewhere. The problem is that we need a `&dyn HirDatabase` to get names etc., which we can't just put into TLS. I thought I could just use `scoped-tls`, but that doesn't support references to unsized types. So I put the `&dyn` into another struct and put the reference to *that* into the TLS, but I have to transmute the lifetime to 'static for that to work.
* missing match arms diagnosticJosh Mcguigan2020-04-071-0/+1
|
* Upgrade Chalk againFlorian Diebold2020-04-051-3/+3
| | | | | | | The big change here is counting binders, not variables (https://github.com/rust-lang/chalk/pull/360). We have to adapt to the same scheme for our `Ty::Bound`. It's mostly fine though, even makes some things more clear.
* Upgrade ChalkFlorian Diebold2020-04-051-3/+3
|
* Nice string formattingAleksey Kladov2020-03-281-0/+2
|
* Updates insta to 0.15.0 and bumps console to 0.10.0kjeremy2020-03-091-1/+1
|
* Drop larlpop-intern depLaurențiu Nicola2020-03-031-2/+0
|
* Update chalk for Ty internersLaurențiu Nicola2020-03-021-3/+3
|
* Update chalk for RawId removalLaurențiu Nicola2020-03-021-3/+3
|
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-3/+3
|
* Update versionsKirill Bulatov2020-02-181-4/+4
|
* Upgrade ChalkFlorian Diebold2020-01-271-3/+3
|
* Update cratesJeremy Kolb2020-01-261-1/+1
|
* Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-221-4/+3
|
* chore: bump deps and use mainline chalkLaurențiu Nicola2019-12-091-3/+3
|
* prune depsAleksey Kladov2019-11-271-6/+5
|
* Move TyAleksey Kladov2019-11-271-0/+1
|
* Fix stale crates that snuck inJeremy Kolb2019-11-261-1/+1
|
* Introduce hir_tyAleksey Kladov2019-11-261-0/+32