[TG-3067] Support generic type parameters that create recursion loops in instantiation stack#2239

Merged

mgudemann merged 15 commits intodiffblue:developfrom

mgudemann:bugfix/generics/fix_infinite_recursion

Jun 7, 2018

Commits on Jun 6, 2018

Use `std::vector` instead of `std::stack`
Matthias Güdemann
committed
Track recursion for generic type parameter definition
Matthias Güdemann
committed
Fix Typo
Matthias Güdemann
committed
Search through stack for instantiation
Matthias Güdemann
committed
Choose mapped-to type when doing higher depth search
Matthias Güdemann
committed
Add unit test for mutually recursive generic parameters
Matthias Güdemann
committed
Return bound if no concrete instantiation is found
Matthias Güdemann
committed
Clarifications and corrections
Matthias Güdemann
committed
Return input pointer_type in case of no instantiation
Matthias Güdemann
committed
Doxygen update, clarification
Matthias Güdemann
committed
Rename functions to `get_recursively_instantiated_type`
Matthias Güdemann
committed
Simplify return
Matthias Güdemann
committed

Commits on Jun 7, 2018

Clarify and correct
Matthias Güdemann
committed
Doxygen update
Matthias Güdemann
committed
Add regression test for recursive generic-parameters
Matthias Güdemann
committed