Class TypeRedefinitionError