Skip to content

Give a proper error when a member type is inaccessible. #4033

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

jrose-apple
Copy link
Contributor

private struct A {
    private struct B {}
}
func z(_: A.B) {}
error: 'B' is inaccessible due to 'private' protection level
func z(_: A.B) {}
            ^

This doesn't yet cover top-level types or top-level non-type values, but it's a start.

Part of rdar://problem/27663403.


Before merging this pull request to apple/swift repository:

  • Test pull request on Swift continuous integration.

Triggering Swift CI

The swift-ci is triggered by writing a comment on this PR addressed to the GitHub user @swift-ci. Different tests will run depending on the specific comment that you use. The currently available comments are:

Smoke Testing

Platform Comment
All supported platforms @swift-ci Please smoke test
All supported platforms @swift-ci Please smoke test and merge
OS X platform @swift-ci Please smoke test OS X platform
Linux platform @swift-ci Please smoke test Linux platform

A smoke test on macOS does the following:

  1. Builds the compiler incrementally.
  2. Builds the standard library only for macOS. Simulator standard libraries and
    device standard libraries are not built.
  3. lldb is not built.
  4. The test and validation-test targets are run only for macOS. The optimized
    version of these tests are not run.

A smoke test on Linux does the following:

  1. Builds the compiler incrementally.
  2. Builds the standard library incrementally.
  3. lldb is built incrementally.
  4. The swift test and validation-test targets are run. The optimized version of these
    tests are not run.
  5. lldb is tested.

Validation Testing

Platform Comment
All supported platforms @swift-ci Please test
All supported platforms @swift-ci Please test and merge
OS X platform @swift-ci Please test OS X platform
OS X platform @swift-ci Please benchmark
Linux platform @swift-ci Please test Linux platform

Lint Testing

Language Comment
Python @swift-ci Please Python lint

Note: Only members of the Apple organization can trigger swift-ci.

@jrose-apple
Copy link
Contributor Author

@swift-ci Please test

@@ -785,6 +785,36 @@ static Type diagnoseUnknownType(TypeChecker &tc, DeclContext *dc,
}

// Qualified lookup case.

// Try ignoring access control.
NameLookupOptions lookupOptions = defaultMemberLookupOptions;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since this is repeated twice, do you think it makes sense to define a new memberTypeLookupOptions or similar?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The rest of the options are slightly different. Really it probably makes more sense to pass it down from outside.

@tkremenek
Copy link
Member

@swift-ci test linux

This doesn't yet cover top-level types or top-level non-type values,
but it's a start.

Part of rdar://problem/27663403.
@jrose-apple jrose-apple force-pushed the error-on-private-member-types branch from 0e742fc to 623fdd1 Compare August 5, 2016 17:48
@jrose-apple
Copy link
Contributor Author

Updated per Slava's feedback. This should be NFC, so just smoke testing.

@swift-ci Please smoke test

@jrose-apple jrose-apple merged commit 8d95352 into swiftlang:master Aug 5, 2016
@jrose-apple jrose-apple deleted the error-on-private-member-types branch August 5, 2016 19:41
jrose-apple added a commit to jrose-apple/swift that referenced this pull request Aug 8, 2016
This doesn't yet cover top-level types or top-level non-type values,
but it's a start.

Part of rdar://problem/27663403.
(cherry picked from commit 8d95352)
phausler pushed a commit to phausler/swift that referenced this pull request Aug 8, 2016
This doesn't yet cover top-level types or top-level non-type values,
but it's a start.

Part of rdar://problem/27663403.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants