DefaultingUpperBoundChecker.java

package testlib.defaulting;

import org.checkerframework.common.basetype.BaseTypeChecker;

public class DefaultingUpperBoundChecker extends BaseTypeChecker {}