-- This file contains a free variable. This should be a type error, even if the variable
-- is in scope in the importing expression
x