| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | capture.rs | 3591 | logplainblame |
| -rw-r--r-- | fold.rs | 60115 | logplainblame |
| -rw-r--r-- | metadata.rs | 21190 | logplainblame |
| -rw-r--r-- | resolve.rs | 26883 | logplainblame |
| -rw-r--r-- | trans.rs | 242007 | logplainblame |
| -rw-r--r-- | ty.rs | 60199 | logplainblame |
| -rw-r--r-- | typeck.rs | 107902 | logplainblame |
| -rw-r--r-- | typestate_check.rs | 37980 | logplainblame |