Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 1 | -3/+3 | |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -2/+3 | |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -5/+2 | |
* | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 1 | -2/+4 | |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -275/+8 | |
* | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 | |
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -90/+403 | |
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -3/+6 | |
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -0/+112 |