Make sure new redefinition semantics only apply to inferred vars (#20…

Make sure new redefinition semantics only apply to inferred vars (#20… #4748