Merge pull request #19850 from regexident/dyn-semantics

Add support for type-erased `Semantics<'db, dyn HirDatabase>`, by use of `DB: ?Sized`