[Agda] plfa preservation + progresss => eval termination checking failure in Agda 2.6.1?

[Nils Anders Danielsson]

On 16/07/2019 01.05, Dan Krejsa wrote:
> Is this an intentional change in the termination checking?

My guess is that this is related to the removal of with inlining:

   https://github.com/agda/agda/pull/3794

-- 
/NAD