Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 1 | -1/+28 |
| | | | | | | | For Send/Sync/Sized, we don't handle auto traits correctly yet and because they have a lot of impls, they can easily lead to slowdowns. In the case of Fn/FnMut/FnOnce, we don't parse the special Fn notation correctly yet and don't handle closures yet, so we are very unlikely to find an impl. | ||||
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 1 | -5/+19 |
| | | | | | We don't pass field types to Chalk yet though, so the auto trait inference won't be correct. | ||||
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -2/+5 |
| | |||||
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 1 | -2/+25 |
| | |||||
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 1 | -15/+41 |
| | | | | | This is slightly hacky, but maybe more elegant than alternative solutions: We just use a hardcoded Chalk trait ID which we special-case to have no impls. | ||||
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 1 | -13/+55 |
| | |||||
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 1 | -1/+3 |
| | | | | | This is necessary because Chalk (reasonably) expects each 'struct' to know how many type parameters it takes. | ||||
* | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 1 | -1/+1 |
| | |||||
* | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
| | |||||
* | Update Chalk | Florian Diebold | 2019-05-04 | 1 | -4/+13 |
| | |||||
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -6/+9 |
| | |||||
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
| | | | | Badly, but at least it doesn't crash. | ||||
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -6/+7 |
| | |||||
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -0/+327 |