| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | capture.rs | 3472 | logplainblame |
| -rw-r--r-- | fold.rs | 60686 | logplainblame |
| -rw-r--r-- | metadata.rs | 25662 | logplainblame |
| -rw-r--r-- | resolve.rs | 28236 | logplainblame |
| -rw-r--r-- | trans.rs | 273411 | logplainblame |
| -rw-r--r-- | ty.rs | 90495 | logplainblame |
| -rw-r--r-- | typeck.rs | 117129 | logplainblame |
| -rw-r--r-- | typestate_check.rs | 83277 | logplainblame |
| -rw-r--r-- | walk.rs | 14249 | logplainblame |