<reponame>josephsieh/Halide<filename>test/error/impossible_constraints.cpp
#include <Halide.h>
#include <stdio.h>

using namespace Halide;

int main(int argc, char **argv) {
    ImageParam input(Float(32), 2, "in");

    Func out("out");

    // The requires that the input be larger than the input
    out() = input(input.width(), input.height()) + input(0, 0);

    out.infer_input_bounds();

    return 0;
}

