feat: infer self & Self HIR types #1891

Job	Run time
Check	2m 20s
Check	2m 20s
Test mdbook	1m 1s
Test mdbook	1m 1s
Test Rust (ubuntu-latest)	5m 52s
Test Rust (ubuntu-latest)	6m 50s
Check Style	2m 36s
Check Style	2m 36s
Doctest Rust (ubuntu-latest)	2m 24s
Doctest Rust (ubuntu-latest)	2m 24s
Test Rust (windows-latest)	13m 10s
Test Rust (windows-latest)	10m 40s
Doctest Rust (windows-latest)	7m 51s
Doctest Rust (windows-latest)	7m 51s
Test Rust (macOS-latest)	3m 41s
Test Rust (macOS-latest)	5m 2s
Test C++ Runtime (ubuntu-latest)	5m 9s
Test C++ Runtime (ubuntu-latest)	5m 9s
Doctest Rust (macOS-latest)	1m 53s
Doctest Rust (macOS-latest)	1m 53s
Test C++ Runtime (windows-latest)	7m 37s
Test C++ Runtime (windows-latest)	8m 57s
Test C++ Runtime (macOS-latest)	3m 43s
Test C++ Runtime (macOS-latest)	3m 43s
	1h 55m 43s

Provide feedback