How do you assert thrown errors in Swift Testing, and what do withKnownIssue and Issue.record add?

Predict first

What do the typed, valued and returned throw checks do, and what happens to a known issue that no longer fails?

// === Package.swift ===
// swift-tools-version:6.0
import PackageDescription
let package = Package(name: "Lib", targets: [.target(name: "Lib"), .testTarget(name: "LibTests", dependencies: ["Lib"])])
// === Sources/Lib/Lib.swift ===
public func square(_ x: Int) -> Int { x * x }
// === Tests/LibTests/T.swift ===
import Testing
@testable import Lib
struct Boom: Error, Equatable { let code: Int }
func fail(_ c: Int) throws { throw Boom(code: c) }

@Test func typeOnly() { #expect(throws: Boom.self) { try fail(1) } }
@Test func valueMatch() { #expect(throws: Boom(code: 2)) { try fail(2) } }
@Test func returned() throws {
    let e = try #require(throws: Boom.self) { try fail(3) }
    print("RETURNED_CODE", e.code)
}
@Test func wrongValue() { #expect(throws: Boom(code: 9)) { try fail(4) } }
@Test func neverThrows() { #expect(throws: Never.self) { try fail(5) } }
@Test func knownIssue() { withKnownIssue("bug 12") { #expect(square(2) == 5) } }
@Test func knownIssueFixed() { withKnownIssue("bug 13") { #expect(square(2) == 4) } }

• Typed and valued pass, the returned code is 3, a wrong value names both errors, the fixed known issue fails with “not recorded”
• All checks pass
• The known issue always passes