$renameChecker property

TypeChecker $renameChecker
final

Implementation

static final TypeChecker $renameChecker = TypeChecker.typeNamed(rename);