| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | capture.rs | 3591 | logplainblame |
| -rw-r--r-- | fold.rs | 60167 | logplainblame |
| -rw-r--r-- | metadata.rs | 21122 | logplainblame |
| -rw-r--r-- | resolve.rs | 27253 | logplainblame |
| -rw-r--r-- | trans.rs | 241662 | logplainblame |
| -rw-r--r-- | ty.rs | 58857 | logplainblame |
| -rw-r--r-- | typeck.rs | 104077 | logplainblame |
| -rw-r--r-- | typestate_check.rs | 44728 | logplainblame |