* Add tests for instantiation expressions * Add tests for infer extends * Add tests for optional variance * Update changelog
debug