Feature/compile time not impl

Kilian Weishauptrequested to merge
feature/compile-time-not-impl into master

wip status depends on !861 (merged) . When merged, this is ready for merge as well.

Edited by Dennis Gläser

Merge request reports