more diagnostics on stub-ast mismatch