This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Internal error: encountered unexpected error in runtime: | |
TypeError(func=:<:, context="", expected=Type, got=TApprox<:NonconvexMMA.AbstractMMAApprox) | |
jl_type_error_rt at /Applications/Julia-1.7.app/Contents/Resources/julia/lib/julia/libjulia-internal.1.7.dylib (unknown line) | |
jl_type_error at /Applications/Julia-1.7.app/Contents/Resources/julia/lib/julia/libjulia-internal.1.7.dylib (unknown line) | |
jl_f_issubtype at /Applications/Julia-1.7.app/Contents/Resources/julia/lib/julia/libjulia-internal.1.7.dylib (unknown line) | |
apply_type_nothrow at ./compiler/tfuncs.jl:1245 | |
_builtin_nothrow at ./compiler/tfuncs.jl:1566 | |
stmt_effect_free at ./compiler/ssair/queries.jl:36 | |
check_effect_free! at ./compiler/ssair/inlining.jl:1128 [inlined] | |
process_simple! at ./compiler/ssair/inlining.jl:1185 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
@params struct_def | |
A macro that changes all fields' types to type parameters while respecting the type bounds specificied by the user. For example: | |
``` | |
@params struct MyType{T} | |
f1::T | |
f2::AbstractVector{T} | |
f3::AbstractVector{<:Real} | |
f4 |