rbs validate shows RBS::InstanceVariableDuplicationError if one class includes a module twice. Is it intentional? Problem module M @iv: untyped end class C include M include M end $ rbs -I. validat...