doc-gen doesn't have continuous_semilinear_map_class

Stream: general

[Eric Wieser]

Why does docs#continuous_semilinear_map_class / src#continuous_semilinear_map_class not work despite the fact that the definition clearly exists?

[Anne Baanen]

Even more interesting, docs#continuous_semilinear_map_class.to_semilinear_map_class works and it's an autogenerated projection of continuous_semilinear_map_class

[Anne Baanen]

And src#continuous_semilinear_map_class.to_semilinear_map_class points to the class