[EduNotes] Explain some opaque type diagnostics#32231

owenv merged 1 commit intoswiftlang:masterswiftlang/swift:masterfrom

owenv:opaque-noteowenv/swift:opaque-noteCopy head branch name to clipboard