public void updateSubTypes() {
		if (parent != null
				&& (GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_TYPES) != 0)
			GlobalOptions.err.println("local type changed in: " + parent);
		local.setType(type);
	}