Skip to content

Commit 772d539

Browse files
Added public API sealed in trait_unsafe_added lint (#1158)
Resolves #1116
1 parent 24ffae3 commit 772d539

File tree

3 files changed

+11
-1
lines changed

3 files changed

+11
-1
lines changed

src/lints/trait_unsafe_added.ron

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ SemverQuery(
1313
... on Trait {
1414
visibility_limit @filter(op: "=", value: ["$public"]) @output
1515
unsafe @filter(op: "!=", value: ["$true"])
16-
unconditionally_sealed @filter(op: "!=", value: ["$true"])
16+
public_api_sealed @filter(op: "!=", value: ["$true"])
1717
1818
importable_path {
1919
path @output @tag

test_crates/trait_unsafe_added/new/src/lib.rs

+5
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,8 @@ mod private {
2525

2626
// Sealed trait, becoming unsafe doesn't matter since it cannot be implemented downstream.
2727
pub unsafe trait SealedTrait: private::Sealed {}
28+
29+
pub unsafe trait PublicAPISealed {
30+
#[doc(hidden)]
31+
type Hidden;
32+
}

test_crates/trait_unsafe_added/old/src/lib.rs

+5
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,8 @@ mod private {
2525

2626
// Sealed trait, becoming unsafe doesn't matter since it cannot be implemented downstream.
2727
pub trait SealedTrait: private::Sealed {}
28+
29+
pub trait PublicAPISealed {
30+
#[doc(hidden)]
31+
type Hidden;
32+
}

0 commit comments

Comments
 (0)