Hi, the following code fails to typecheck:
template<template<typename> class TT, typename T>
struct A
{ typedef typename TT<T>::type type; };
but works in permissive mode (should work in normal mode, too). However,
permissive mode simply means it doesn't check the template, yet. If it is
forced to with the following code:
template<typename T>
struct B
{ typedef T type; };
A<B, int>::type a;
it segfaults. This is a problem with the elsa parser and basically a
showstopper. Are there any plans to fix this? Maybe contact scott about
it?
Regards,
--
Pippijn van Steenhoven
signature.asc
Description: Digital signature
_______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
