expect-fail --no-location --dump-kindinfer