base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java [754:765]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    public @Nullable <T> Pair<TypecheckingResult, T> coerce(Function<ParametersProvider, Pair<Expression, T>> checker) {
      return null;
    }

    @Override
    public @Nullable Expression getType() {
      return null;
    }

    @Override
    public void subst(DependentLink param, Expression expr) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java [2354:2365]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    public @Nullable <T> Pair<TypecheckingResult, T> coerce(Function<ParametersProvider, Pair<Expression, T>> checker) {
      return null;
    }

    @Override
    public @Nullable Expression getType() {
      return null;
    }

    @Override
    public void subst(DependentLink param, Expression expr) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -