Searched refs:KdcTypeChecker (Results 1 – 1 of 1) sorted by relevance
355 class KdcTypeChecker : public TypeChecker { class756 checkers_.push_back(new KdcTypeChecker()); in TypeCheckerList()