Merge: mnit: Fix error on refined virtual types