public TypeMirror GetElementType () { GetInfo (); if (element_type == null && info.element_type != 0) element_type = vm.GetType (info.element_type); return element_type; }