--dump-infer