I bumped into an interesting form of lifetime sub-typing, which I think is valid, but the compiler is skeptical of. Consider the following function, which compu
serilog-expressions
feature-policy
quartz-graphics
datastep
jboss-arquillian
named-pipes
dirname
package-lock.json
jqxgrid
plyr
docker-pull
constraint-validation
frappe
onesignal
pyo3
iframe
miragejs
spring4shell
react-native-jsi
nebula-graph
select
qtdeclarative
applicationreference
pyspark
message
postfile
contains
proof-assistant
g++
sap-solution-manager