Code

@abi checking#79466

Code

Merged

beccadax merged 22 commits intoswiftlang:mainswiftlang/swift:mainfrom

beccadax:abi-inspected-your-appearancebeccadax/swift:abi-inspected-your-appearanceCopy head branch name to clipboard

Mar 26, 2025

Commits

Commits on Mar 26, 2025

• [NFC] Fix ImplementsAttr::clone()

  Show description for cd61fd4
  beccadax

  committed
  cd61fd4

  Copy full SHA for cd61fd4

• [NFC] Hoist getTypeSourceRangeForDiagnostics()

  Show description for 1af5c04
  beccadax

  committed
  1af5c04

  Copy full SHA for 1af5c04

• [NFC] Expose default param specifier computation

  Show description for d8349e7
  beccadax

  committed
  d8349e7

  Copy full SHA for d8349e7

• [NFC] Fix AllowFeatureSuppressionAttr atLoc

  beccadax

  committed
  b4d545f

  Copy full SHA for b4d545f

• [NFC] Extract Decl::getExplicitObjCName()

  Show description for 775bdac
  beccadax

  committed
  775bdac

  Copy full SHA for 775bdac

• [NFC] Check that SILGen doesn’t use ABI-only decls

  Show description for 5bb6245
  beccadax

  committed
  5bb6245

  Copy full SHA for 5bb6245

• Type check `@abi` decls (sans attrs)

  Show description for 3baba0b
  beccadax

  committed
  3baba0b

  Copy full SHA for 3baba0b

• Inherit @objc, dynamic, @implementation in `@abi`

  Show description for 1bb2186
  beccadax

  committed
  1bb2186

  Copy full SHA for 1bb2186

• Inherit access control in `@abi`

  Show description for 9be9b6f
  beccadax

  committed
  9be9b6f

  Copy full SHA for 9be9b6f

• Inherit availability in `@abi`

  Show description for e88b99a
  beccadax

  committed
  e88b99a

  Copy full SHA for e88b99a

• Inherit `override` in `@abi`

  Show description for 63be84a
  beccadax

  committed
  63be84a

  Copy full SHA for 63be84a

• Don’t add HasStorageAttr to ABI-only decls

  Show description for 123447d
  beccadax

  committed
  123447d

  Copy full SHA for 123447d

• Add DeclAttribute::isEquivalent()

  Show description for 495d464
  beccadax

  committed
  495d464

  Copy full SHA for 495d464

• Add flags to specify `@abi` behavior of attributes

  Show description for 32b8a11
  beccadax

  committed
  32b8a11

  Copy full SHA for 32b8a11

• Check attributes in `@abi` attr

  Show description for 132f491
  beccadax

  committed
  132f491

  Copy full SHA for 132f491

• Support `@abi` on subscripts

  Show description for d227636
  beccadax

  committed
  d227636

  Copy full SHA for d227636

• Filter bad attrs out of module interface `@abi`s

  Show description for 7703d11
  beccadax

  committed
  7703d11

  Copy full SHA for 7703d11

• Make `@abi` type diagnostics more specific

  Show description for ef738e6
  beccadax

  committed
  ef738e6

  Copy full SHA for ef738e6

• Diagnose mismatched typed throws in `@abi`

  beccadax

  committed
  446dc9d

  Copy full SHA for 446dc9d

• Improve diagnosis of generic types in `@abi`

  Show description for 7159111
  beccadax

  committed
  7159111

  Copy full SHA for 7159111

• Tweak `@abi` `@lifetime` test

  Show description for d5fac9f
  beccadax

  committed
  d5fac9f

  Copy full SHA for d5fac9f

• Add `@abi` behavior for `@constInitialized`

  beccadax

  committed
  6759ad5

  Copy full SHA for 6759ad5