Progress

• template
  • class template
  • extern class template
  • function template
  • extern function template
• function
• class
  • copy ctor
  • move ctor
• overload
  • best match
  • qual match
  • conv match
  • exact match
• template function resolution
  • implicit template parameter instantiation
  • specialize
• type attributes
  • holder kind(ref, val, let)
  • mutability kind(mutable, const, immutable)
  • lifetime kind(static, local, managed, unmanaged)
  • shared
• function call
  • normal
  • member
  • universal
• compile error