Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Experiment with multi_reflectors #1687

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Experiment with multi_reflectors #1687

wants to merge 1 commit into from

Conversation

clux
Copy link
Member

@clux clux commented Feb 6, 2025

since the question has showed up a few times.

ultimately this is awkward because the hard generic use in ObjectRef and in Store which ties them to a particular resource.

It feels like it shouldn't have to be this way because the Store::get takes an ObjectRef, which feels dynamically typed, but actually isnt.

Tried out a couple of potentials and had to just resort to the dumb thing instead.

Maybe there's some other things we can do for dynamics. Maybe worth exploring in an issue?

since the question has showed up a few times.

ultimately this is awkward because the hard generic use in ObjectRef<K>
and in Store<K> which ties them to a particular resource.

It feels like it shouldn't have to be this way because the Store::get
takes an ObjectRef, which feels dynamically typed, but actually isnt.

Tried out a couple of potentials and had to just resort to the dumb thing instead.

Maybe there's some other things we can do for dynamics. Maybe worth exploring in an issue?

Signed-off-by: clux <[email protected]>
Copy link

codecov bot commented Feb 6, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.8%. Comparing base (0bcc625) to head (550e50f).

Additional details and impacted files
@@          Coverage Diff          @@
##            main   #1687   +/-   ##
=====================================
  Coverage   75.8%   75.8%           
=====================================
  Files         84      84           
  Lines       7630    7630           
=====================================
  Hits        5779    5779           
  Misses      1851    1851           

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant