diff options
| author | John Hodge <tpg@mutabah.net> | 2018-12-09 08:35:10 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-12-09 08:35:10 +0800 |
| commit | 880d23e75d2408a1b8ce9bc545241c17a48e8f3c (patch) | |
| tree | d28f5ea0996fd461aefbb9ec0d5af3bce3279546 /src/span.cpp | |
| parent | 2a2b29e747d5cf06f930c1b6c671628f1d9e5cb6 (diff) | |
| download | mrust-880d23e75d2408a1b8ce9bc545241c17a48e8f3c.tar.gz | |
HIR Typecheck - Enumeration of potential type values and elimination using known bounds
Potential types from trait bounds are enumerated and, if there's no
possible coercions/unsizing, are searched for a single type that meets
all known conditions (i.e. trait bounds on the ivar, and method
existence)
Diffstat (limited to 'src/span.cpp')
0 files changed, 0 insertions, 0 deletions