Fix cyclic inference by constraints (#2984)
3 files changed