public protocol Model { }

@propertyWrapper
public struct ModelField<M, V>
    where M: Model, V: Codable
{
    public init() { }
    
    public var wrappedValue: V {
        get { fatalError() }
        set { fatalError() }
    }
}

extension Model {
    public typealias Field<V> = ModelField<Self, V>
        where V: Codable
}

struct Planet: Model {
    @Field var name: String
}

error: unknown attribute 'Field'
    @Field var name: String
    ^