Rename the record_edge accessor to record_source

This commit is contained in:
Dennis Kobert
2026-09-06 16:26:33 +00:00
parent 92adc524ca
commit daf0231c0c
2 changed files with 4 additions and 4 deletions

View File

@@ -263,9 +263,9 @@ impl SourceHandle {
self.downcast_erased(record_edge_type::<T>())
}
/// The erased record edge, for callers that dispatch on the layout rather
/// than a static element type. `None` for an edge erased to another node type.
pub fn record_edge(self) -> Option<SharedSource<ErasedRecordNode>> {
/// The erased record source, for callers that dispatch on the layout rather
/// than a static element type. `None` for a source erased to another node type.
pub fn record_source(self) -> Option<SharedSource<ErasedRecordNode>> {
self.node.downcast::<SharedSource<ErasedRecordNode>>().ok().map(|edge| *edge)
}