fix: FilterVisibility now applies visibility filter to inherited types (extends)

[Copilot]

FilterVisibility only filtered properties directly on a model but ignored baseModel, so inherited properties with incompatible visibility passed through unfiltered.

model Base {
  @visibility(Lifecycle.Read) id: string;
}

model User extends Base {
  name: string;
}

// Previously: UserCreate still inherited unfiltered Base with `id` visible
// Now: Base is also filtered, producing BaseCreate with `id` removed
model UserCreate is FilterVisibility<User, #{ all: #[Lifecycle.Create] }, "{name}Create">;

Changes

• packages/compiler/src/lib/visibility.ts — In createVisibilityFilterMutator's Model.replace handler, recursively apply the visibility filter mutator to model.baseModel when present
• packages/compiler/test/visibility.test.ts — Added test cases covering:
  • Multi-level inheritance where all base types have filtered properties
  • Base model unchanged when it has no visibility-restricted properties
  • Entire base chain unchanged when only the leaf has filtered properties
  • Intermediate types renamed when their deeper base is transformed
  • Direct applyVisibilityFilter API with inheritance
  • Self-referential model (e.g., next?: LinkedNode) does not produce infinite regress

[markcowl]

@copilot Please pull the latest from main, make the suggested changes, ensure all tests pass and all files are formatted correctly. Ensure that only changes associated with this PR are in the pr diff

[Copilot]

@copilot Please pull the latest from main, make the suggested changes, ensure all tests pass and all files are formatted correctly. Ensure that only changes associated with this PR are in the pr diff

Done — merged latest from main, added the self-referential model test, verified all 61 visibility tests pass, and confirmed formatting is correct. The diff only contains the 3 expected files.

[markcowl]

@copilot Please pull the latest from main, make the suggested update, ensure all tests pass, all files are correctly formatted, and only the changes associated with thios PR are in the pr diff

[Copilot]

@copilot Please pull the latest from main, make the suggested update, ensure all tests pass, all files are correctly formatted, and only the changes associated with thios PR are in the pr diff

Done — merged latest main, updated the self-referential test so the target model extends a base with a self-link property, all 61 visibility tests pass, formatting is correct, and the diff contains only the 3 expected files.

[pkg-pr-new]

Open in StackBlitz

npm i https://pkg.pr.new/@typespec/compiler@11043

commit: 1e6c9a4

[markcowl]

@copilot, the lint check is failing. You can see the results here: https://github.com/microsoft/typespec/actions/runs/27990186877/job/82845301849?pr=11043 or run pnpm lint to see them.

Please pull the latest from main, fix the issue, ensure that all files are correctly formatted and only the changes associated with this pr are in the pr diff.

[Copilot]

@copilot, the lint check is failing. You can see the results here: https://github.com/microsoft/typespec/actions/runs/27990186877/job/82845301849?pr=11043 or run pnpm lint to see the...

Fixed — removed 4 unused program destructurings that caused @typescript-eslint/no-unused-vars warnings. Merged latest from main, all tests pass, lint is clean, and the diff contains only the 3 expected files. Commit: a4eed9b.