Skip to content

Properly define the type of index() methods of indexers.

vlorentz requested to merge generated-differential-D4189-source into generated-differential-D4189-target

Depends on !270 (closed)

Migrated from D4189 (view on Phabricator)

Merge request reports