Property in Protocol extension with a Self constraint can produce uncompilable bridge

Abierto
  • ¿Algo no está bien?
#534 1 comentario 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
35/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
java, swift
Área
compilers

Línea de trabajo

Comienza con el protocolo y la extensión restringida de la reproducción y, después, inspecciona la generación del puente de Swift que emite swiftjava_MySwiftLibrary_DownloadResponseSerializerProtocol_url$get. Confirma que el puente generado maneja la restricción Self == URLResponseSerializer sin producir el error del compilador indicado y valida la reproducción original con respecto al commit 5764bc2a1b706056121109dc0ab14fd3d771cbc5.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

feature:jextract

Reproduction

Found while running #486 on Alamofire. I think the gist of the issue is the following:

public protocol DownloadResponseSerializerProtocol {
    associatedtype SerializedObject
}
public struct URLResponseSerializer: DownloadResponseSerializerProtocol {
    public typealias SerializedObject = String
}
extension DownloadResponseSerializerProtocol where Self == URLResponseSerializer {
    public var url: URLResponseSerializer { fatalError("...") }
}

this code as of 5764bc2a1b706056121109dc0ab14fd3d771cbc5 fails the Swift bridge compilation with:

error: property 'url' requires the types 'Self' and 'URLResponseSerializer' be equivalent
 16 | @_cdecl("swiftjava_MySwiftLibrary_DownloadResponseSerializerProtocol_url$get")
 17 | public func swiftjava_MySwiftLibrary_DownloadResponseSerializerProtocol_url$get(_ self: UnsafeRawPointer, _ _result: UnsafeMutableRawPointer) {
 18 |   _result.assumingMemoryBound(to: URLResponseSerializer.self).initialize(to: self.assumingMemoryBound(to: DownloadResponseSerializerProtocol.self).pointee.url)
    |                                                                                                                                                            `- error: property 'url' requires the types 'Self' and 'URLResponseSerializer' be equivalent
Lenguaje dominante
Swift
Estrellas
1.3k
Forks
127
Merge medio
2 d 14 h
PR fusionados (30 d)
5

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de swiftlang/swift-java

Todos los issues de swiftlang/swift-java

Issues similares

Más issues de Swift

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.