The previous `anon_region` method returned `Result`, but here you've switched to `Option`.  From my reading of the current callers of `anon_regions` in `astconv.rs`, it looks like every case that returns `None` corresponds to an error condition.  Consider returning `Result` to directly encode that.