| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | capture.rs | 3591 | logplainblame |
| -rw-r--r-- | fold.rs | 60204 | logplainblame |
| -rw-r--r-- | metadata.rs | 21122 | logplainblame |
| -rw-r--r-- | resolve.rs | 27253 | logplainblame |
| -rw-r--r-- | trans.rs | 243166 | logplainblame |
| -rw-r--r-- | ty.rs | 66772 | logplainblame |
| -rw-r--r-- | typeck.rs | 106131 | logplainblame |
| -rw-r--r-- | typestate_check.rs | 44728 | logplainblame |