c++
Type deduction
Force compile error to see what auto
is deduced to.
auto foo = bar();
// force compile error
typename decltype(foo)::_;
Variadic templates (parameter pack)
{{#include c++/meta.cc:3:}}
SFINAE example (enable_if)
{{#include c++/meta2.cc:3:}}