Skip to content

Avoid false redundant import warning with DisambiguateRecordFields

Adam Gundry requested to merge wip/amg/T17853 into master

This corrects a tiny bug in the implementation of DisambiguateRecordFields which could lead to misleading redundant import warnings in obscure cases. Fixes #17853 (closed).

Merge request reports