Document that ResolvedPath can also be a union

This commit is contained in:
Nixon Enraght-Moony 2022-09-16 19:45:26 +01:00
parent 54f20bbb8a
commit cb6c923cf4
2 changed files with 9 additions and 1 deletions

View File

@ -542,7 +542,7 @@ pub enum Term {
#[serde(rename_all = "snake_case")] #[serde(rename_all = "snake_case")]
#[serde(tag = "kind", content = "inner")] #[serde(tag = "kind", content = "inner")]
pub enum Type { pub enum Type {
/// Structs and enums /// Structs, enums, and unions
ResolvedPath(Path), ResolvedPath(Path),
DynTrait(DynTrait), DynTrait(DynTrait),
/// Parameterized types /// Parameterized types

View File

@ -1,7 +1,15 @@
// @has "$.index[*][?(@.name=='Union')].visibility" \"public\" // @has "$.index[*][?(@.name=='Union')].visibility" \"public\"
// @has "$.index[*][?(@.name=='Union')].kind" \"union\" // @has "$.index[*][?(@.name=='Union')].kind" \"union\"
// @!has "$.index[*][?(@.name=='Union')].inner.struct_type" // @!has "$.index[*][?(@.name=='Union')].inner.struct_type"
// @set Union = "$.index[*][?(@.name=='Union')].id"
pub union Union { pub union Union {
int: i32, int: i32,
float: f32, float: f32,
} }
// @is "$.index[*][?(@.name=='make_int_union')].inner.decl.output.kind" '"resolved_path"'
// @is "$.index[*][?(@.name=='make_int_union')].inner.decl.output.inner.id" $Union
pub fn make_int_union(int: i32) -> Union {
Union { int }
}