public MappingType getMappingType() {
   // FIXME: Mapping type might be weaker than parent.
   return parent.getMappingType();
 }