| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | constraint_generation.rs | 8582 | log plain |
| -rw-r--r-- | free_regions.rs | 3262 | log plain |
| -rw-r--r-- | mod.rs | 6586 | log plain |
| -rw-r--r-- | region_infer.rs | 15763 | log plain |
| -rw-r--r-- | renumber.rs | 5775 | log plain |
| -rw-r--r-- | subtype_constraint_generation.rs | 4356 | log plain |
