fix: 修复生成器返回类型 #31

Merged

韩天峰 merged 3 commits from compiler-keep-generator-retype-covariance into master 1 month ago

Author	SHA1	Message	Date
韩天峰	1698682273	merge: sync generator return covariance fix with master	1 month ago
Yurun	cdf4e5f789	fix(compiler): 保留生成器声明返回类型以满足接口协变检查 Cherry-pick of upstream 84ad3a5. The generator return type covariance change is built on yurun's Translator.php, which diverged from origin/master, so the files are materialized from the upstream commit directly (they already include the cc25d71 FiberGenerator change). - isReturnTypeOverrideCompatible now performs full covariance: every value the child can return must be acceptable under the parent's declared return type (nullable/union narrowing allowed). - Add getReturnAcceptedTypes/isReturnTypeSubtype/isReturnTypeCoveredBy/ isReturnTypeEntryCompatible helpers; generators use their source-level declared return type so interface/abstract covariance checks hold. - FunctionDef gains declaredReturnType/declaredReturnClass/declaredReturnTypeCheck. Regression tests: interface-return-type.phpt, interface-return-type-variants.phpt.	1 month ago
Yurun	c0556882ab	fix(generator): 接受 \Generator 作为合法返回类型	1 month ago

Author

SHA1

Message

Date

韩天峰

1698682273

merge: sync generator return covariance fix with master

1 month ago

Yurun

cdf4e5f789

fix(compiler): 保留生成器声明返回类型以满足接口协变检查

Cherry-pick of upstream 84ad3a5. The generator return type covariance
change is built on yurun's Translator.php, which diverged from
origin/master, so the files are materialized from the upstream commit
directly (they already include the cc25d71 FiberGenerator change).

- isReturnTypeOverrideCompatible now performs full covariance: every value
  the child can return must be acceptable under the parent's declared
  return type (nullable/union narrowing allowed).
- Add getReturnAcceptedTypes/isReturnTypeSubtype/isReturnTypeCoveredBy/
  isReturnTypeEntryCompatible helpers; generators use their source-level
  declared return type so interface/abstract covariance checks hold.
- FunctionDef gains declaredReturnType/declaredReturnClass/declaredReturnTypeCheck.

Regression tests: interface-return-type.phpt, interface-return-type-variants.phpt.

1 month ago

Yurun

c0556882ab

fix(generator): 接受 \Generator 作为合法返回类型

1 month ago

fix: 修复生成器返回类型 #31

3 Commits