id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
68	Generic thread	pabuhr	Rob	"{{{
#include <thread>
forall( otype T )
thread cons {
    T i;
};
}}}
{{{
cfa test.c
CFA Version 1.0.0 (debug)
test.c:6:1 error: Attempt to provide non-type parameter: nullptr for type parameter __T_generic_: sized object type
... with assertions
  ?=?: function
  ... with parameters
    reference to instance of type __T_generic_ (not function type) 
    instance of type __T_generic_ (not function type) 
  ... returning 
    _retval__operator_assign: instance of type __T_generic_ (not function type) 
    ... with attributes: 
      Attribute with name: unused


  ?{}: function
  ... with parameters
    reference to instance of type __T_generic_ (not function type) 
  ... returning nothing 

  ?{}: function
  ... with parameters
    reference to instance of type __T_generic_ (not function type) 
    instance of type __T_generic_ (not function type) 
  ... returning nothing 

  ^?{}: function
  ... with parameters
    reference to instance of type __T_generic_ (not function type) 
  ... returning nothing 
}}}"	defect	closed	minor	cfa-cc	1.0	fixed